Author:
Cavalcanti Ana,Miyazawa Alvaro,Sampaio Augusto,Li Wei,Ribeiro Pedro,Timmis Jon
Publisher
Springer International Publishing
Reference22 articles.
1. Broy, M., Cengarle, M.V., Rumpe, B.: Semantics of UML - towards a system model for UML: the state machine model. Technical report TUM-I0711, Institut für Informatik, Technische Universität München, February 2007
2. Davies, J., Crichton, C.: Concurrency and refinement in the unified modeling language. Formal Aspects Comput. 15(2–3), 118–145 (2003)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);S Dhouib,2012
4. Dixon, C., Winfield, A.F.T., Fisher, M., Zeng, C.: Towards temporal verification of swarm robotic systems. Robot. Auton. Syst. 60(11), 1429–1441 (2012)
5. Espiau, B., Kapellos, K., Jourdan, M.: Formal verification in robotics: why and how? In: Giralt, G., Hirzinger, G. (eds.) Robotics Research, pp. 225–236. Springer, London (1996).
https://doi.org/10.1007/978-1-4471-1021-7_26
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献