Author:
Ortmeier Frank,Schellhorn Gerhard,Thums Andreas,Reif Wolfgang,Hering Bernhard,Trappschuh Helmut
Subject
Industrial and Manufacturing Engineering,Safety, Risk, Reliability and Quality
Reference11 articles.
1. Formal system development with KIV;Balser,2000
2. Interactive verification of statecharts;Balser,2002
3. Statecharts: a visual formalism for complex systems;Harel;Science of Computer Programming,1987
4. Statemate: a working environment for the development of complex reactive systems;Harel;IEEE Transactions on Software Engineering,1990
5. Safeware: system safety and computers;Leveson,1995
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献