Author:
Shokri-Manninen Fatima,Tsiopoulos Leonidas,Vain Jüri,Waldén Marina
Publisher
Springer International Publishing
Reference13 articles.
1. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Back, R.J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Graduate Texts in Computer Science. Springer, Heidelberg (1998).
https://doi.org/10.1007/978-1-4612-1674-2
3. Behrmann, G., David, A., Larsen, K.G.: A tutorial on UPPAAL 4.0. Department of computer science, Aalborg university (2006)
4. Lecture Notes in Computer Science;J Berthing,2012
5. Lecture Notes in Computer Science;D Cansell,2006
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献