Publisher
Springer International Publishing
Reference12 articles.
1. Lecture Notes in Computer Science;Z Chaochen,1996
2. Lecture Notes in Computer Science;H Espinoza,2009
3. He, J.: From CSP to hybrid systems. In: A Classical Mind. Embedded system, Programming, Software. Prentice Hall International Ltd., Hertfordshire (1994)
4. Khan, A.M., Mallet, F., Rashid, M.: Combining SysML and Marte/CCSL to model complex electronic systems. In 2016 International Conference on Information Systems Engineering, pp. 12–17. IEEE, Los Angeles, April 2016
5. Liu, J., Liu, Z., He, J., Mallet, F., Ding, Z.: Hybrid marte statecharts. Front. Comput. Sci. 7(1), 95–108 (2013)