Publisher
Springer International Publishing
Reference17 articles.
1. Arbab, F.: Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14(3), 329–366 (2014)
2. Monographs in Theoretical Computer Science;E Best,2001
3. Broy, M.: A logical approach to systems engineering artifacts: semantic relationships and dependencies beyond traceability - from requirements to functional and architectural views. Softw. Syst. Model. 17(2), 365–393 (2018)
4. Monographs in Computer Science;M Broy,2001
5. Dastani, M., Arbab, F., de Boer, F.S. Coordination and composition in multi-agent systems. In 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2005), pp. 439–446, Utrecht, The Netherlands, 25–29 July 2005 (2005)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Composition of Component Models - A Key to Construct Big Systems;Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles;2020