Towards the safety verification of real-time systems with the COQ proof assistant

Authors

Downloads

Published

22.01.2009

Issue

ISSUE 01/2009

Section

Articles

License

Authors retain copyright. Authors grant the journal a non-exclusive right to publish the article. Articles are published under the CC BY-NC-ND 4.0 licence.

How to Cite

Tveretina, O. (2009). Towards the safety verification of real-time systems with the COQ proof assistant. Journal of Automation, Mobile Robotics and Intelligent Systems, 3(1), 30-32. https://www.jamris.org/index.php/JAMRIS/article/view/627