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

Authors

Downloads

Published
22.01.2013
Issue
ISSUE 01/2009
Section
Articles

How to Cite

Tveretina, O. (2013). 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
How to Cite
Tveretina, O. (2013). 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

The authors wishing to publish in JAMRIS journal must sign the license to publish upon paper acceptance. The license governs in detail the commercial and non-commercial use of papers published by our journal and determines user and author rights.