Publisher
Springer International Publishing
Reference23 articles.
1. Real-Time Systems;H Kopetz,2011
2. Geffroy, J.C., Motet, G.: Design of Dependable Computing Systems. Springer, Dordrecht (2002). doi: 10.1007/978-94-015-9884-2
3. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)
4. Holzmann, G.J.: The model checker SPIN. IEEE Trans. Softw. Eng. 23(5), 279–295 (1997). doi: 10.1109/32.588521
5. McMillan, K.L.: Symbolic model checking: an approach to the state explosion problem. Ph.D. thesis, Carnegie Mellon University (1992)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Dependability Assessment of Fault Tolerant Systems by Means of Statistical Model Checking;2017 Euromicro Conference on Digital System Design (DSD);2017-08
2. Statistical Model Checking: Past, Present, and Future;Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques;2016