Funder
Gruppo Nazionale per il Calcolo Scientifico
Ministero dell’Istruzione, dell’Università e della Ricerca
FP7 Information and Communication Technologies
European Regional Development Fund
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference55 articles.
1. RTCA DO-178C, Software Considerations in Airborne Systems and Equipment Certification, December 2011.
2. Formal verification of hybrid systems;Alur,2011
3. UPPAAL — a tool suite for automatic verification of real-time systems;Bengtsson,1996
4. HyTech: a model checker for hybrid systems;Henzinger;Int. J. Softw. Tools Technol. Transf.,1997
5. Exploiting transition locality in automatic verification of finite state concurrent systems;Della Penna;Int. J. Softw. Tools Technol. Transf.,2004
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献