Towards the safety verification of real-time systems with the COQ proof assistant
Authors
Downloads
Published
22.01.2009
Issue
Section
Articles
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
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
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.
