Funder
Agence Nationale de la Recherche
Christian Doppler Forschungsgesellschaft
European Cooperation in Science and Technology
Bundesministerium für Wissenschaft, Forschung und Wirtschaft
Publisher
Springer Science and Business Media LLC
Subject
Modeling and Simulation,Software
Reference66 articles.
1. Alanen, M., Porres, I.: Difference and union of models. In: Proceedings of the 6th International Conference on the Unified Modeling Language (UML’03), LNCS, vol. 2863, pp. 2–17. Springer (2003). doi:
10.1007/978-3-540-45221-8_2
2. Alawneh, L., Hamou-Lhadj, A.: MTF: a scalable exchange format for traces of high performance computing systems. In: Proceedings of the 19th International Conference on Program Comprehension (ICPC’11), pp. 181–184. IEEE (2011). doi:
10.1109/ICPC.2011.15
3. Aydt, R.: The Pablo Self-Defining Data Format. Technical Report, Department of Computer Science at the University of Illinois at Urbana-Champaign (1992)
4. Baier, C., Katoen, J.P.: Principles of Model Checking. MIT Press, Cambridge (2008)
5. Bandener, N., Soltenborn, C., Engels, G.: Extending DMM behavior specifications for visual execution and debugging. In: Proceedings of the Third International Conference on Software Language Engineering (SLE’10), vol. 6563 LNCS, pp. 357–376. Springer, Berlin (2010). doi:
10.1007/978-3-642-19440-5_24
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献