Publisher
Springer International Publishing
Reference33 articles.
1. Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Lecture Notes in Computer Science;T Baar,2005
3. Bobbio, A.: System modelling with petri nets. In: Colombo, A.G., de Bustamante, A.S. (eds.) Systems Reliability Assessment, vol. 7, pp. 103–143. Springer, Dordrecht (1990). https://doi.org/10.1007/978-94-009-0649-5_6
4. Bryant, B.R., Gray, J., Mernik, M., Clarke, P.J., France, R.B., Karsai, G.: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2), 225–253 (2011). https://doi.org/10.2298/CSIS110114012B
5. Combemale, B.: Towards Language-Oriented Modeling. Habilitation à diriger des recherches, Université de Rennes 1, December 2015