Publisher
Springer International Publishing
Reference28 articles.
1. Object Management Group: Semantics of a Foundational Subset for Executable UML Models, V 1.1, August 2013
2. Bendraou, R., Combemale, B., Crégut, X., Gervais, M.P.: Definition of an executable SPEM 2.0. In: Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), pp. 390–397. IEEE (2007)
3. Lecture Notes in Computer Science;T Fischer,2000
4. Harel, D., Lachover, H., Naamad, A., Pnuelli, A., Politi, M., Sherman, R., Shtull-trauring, A., Trakhtenbrot, M.: STATEMATE: a working environment for the development of complex reactive systems. IEEE Trans. Softw. Eng. 16(4), 403–414 (1990)
5. OASIS: Web Services Business Process Execution Language Version 2.0 (2007)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Online validation of digital twins for manufacturing systems;Computers in Industry;2023-09
2. Measuring the fidelity of digital twin systems;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23
3. Using trace alignments for measuring the similarity between a physical and its digital twin;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23