Stop the war!
default search action
Science of Computer Programming, Volume 192
Volume 192, June 2020
- Eduardo Silva, Thaís Batista, Flávio Oquendo:
On the verification of mission-related properties in software-intensive systems-of-systems architectural design. 102425
- Jim Davies, James Welch, David Milward, Steve Harris:
A formal, scalable approach to semantic interoperability. 102426
- Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti:
Programming interactions in collective adaptive systems by relying on attribute-based communication. 102428
- Yi Li, Weidi Sun, Meng Sun:
Mediator: A component-based modeling language for concurrent and distributed systems. 102438
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.