Author:
Dragomir Iulia,Ober Iulian,Percebois Christian
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference68 articles.
1. Abadi, M., Plotkin, G.D.: A logical view of composition. Theor. Comput. Sci. 114(1), 3–30 (1993)
2. Aboussoror, E., Ober, I., Ober, I.: Seeing errors: model driven simulation trace visualization. In: France, R., Kazmeier, J., Breu, R., Atkinson, C. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 7590, pp. 480–496. Springer, Berlin (2012)
3. Alur, R., Dill, D.L.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183–235 (1994)
4. André, P., Gilles, A., Messabihi, M.: Vérification de contrats logiciels à l’aide de transformations de modèles. In: 7èmes journées sur l’Ingénierie Dirigée par les Modèles (IDM) (2011)
5. Arnold, A., Boyer, B., Legay, A.: Contracts and behavioral patterns for SoS: the EU IP DANSE approach. In: Larsen, K.G., Legay, A., Nyman, U. (eds.) AiSoS, EPTCS, vol. 133, pp. 47–66 (2013)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献