Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions
Open Access
- 28 January 2015
- journal article
- Published by European Alliance for Innovation n.o. in EAI Endorsed Transactions on Self-Adaptive Systems
- Vol. 1 (1)
- https://doi.org/10.4108/sas.1.1.e5