Author:
Caltais Georgiana,Leitner-Fischer Florian,Leue Stefan,Weiser Jannis
Publisher
Springer International Publishing
Reference27 articles.
1. Hugo/RT. https://www.informatik.uni-augsburg.de/en/chairs/swt/sse/hugort
2. Aljazzar, H., Fischer, M., Grunske, L., Kuntz, M., Leitner-Fischer, F., Leue, S.: Safety analysis of an airbag system using probabilistic FMEA and probabilistic counterexamples. In: QEST 2009, pp. 299–308. IEEE Computer Society (2009)
3. Alur, R., Yannakakis, M.: Model checking of hierarchical state machines. ACM Trans. Program. Lang. Syst. 23(3), 273–303 (2001)
4. Ando, T., Yatsu, H., Kong, W., Hisazumi, K., Fukuda, A.: Translation rules of SysML state machine diagrams into CSP# toward formal model checking. IJWIS 10(2), 151–169 (2014)
5. Baier, C., Katoen, J.: Principles of Model Checking. MIT Press, New York (2008)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献