Author:
Hoenicke Jochen,Maier Patrick
Publisher
Springer Berlin Heidelberg
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Modeling of Train Control Systems Using Formal Techniques;Lecture Notes in Electrical Engineering;2013-12-05
2. Formal Specification of Railway Control Systems;Lecture Notes in Electrical Engineering;2013-11-13
3. Flying Sensors – Swarms in Space;Autonomous Systems – Self-Organization, Management, and Control;2008
4. Model Checking Duration Calculus: A Practical Approach;Lecture Notes in Computer Science;2006
5. Slicing an Integrated Formal Method for Verification;Formal Methods and Software Engineering;2005