Towards the safety verification of real-time systems with the COQ proof assistant
Authors
Downloads
Published
22.01.2013
Issue
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://jamris.d.tomp.pl/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://jamris.d.tomp.pl/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.
