Cyber-Physical Ecosystems: Modelling and Verification
Attributed to:
Interface reasoning for interacting systems (IRIS).
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-031-49252-5_17
Publication URI: http://dx.doi.org/10.1007/978-3-031-49252-5_17
Type: Book Chapter
Book Title: Engineering of Computer-Based Systems - 8th International Conference, ECBS 2023, Västerås, Sweden, October 16-18, 2023, Proceedings (2024)
Page Reference: 215-230