Arnold, Alexandre and Beleani, Massimo and Ferrari, Alberto and Marazza, Marco and Senni, Valerio and Legay, Axel and Quilbeuf, Jean and Etzien, Christoph (2017) An Application of SMC to continuous validation of heterogeneous systems. EAI Endorsed Transactions on Industrial Networks and Intelligent Systems.
![[thumbnail of 25587.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "25587.pdf")
PDF
25587.pdf
Download (1MB)
Abstract
This paper considers the rigorous design of Systems of Systems (SoS), i.e. systems composed of a set of
heterogeneous components whose number evolves with time. Such components cooperate to accomplish
functions that they could not achieve in isolation. Examples of SoS include smart cities or airpo
| Item Type: | Article |
|---|---|
| Date Deposited: | 04 Mar 2026 11:05 |
| Last Modified: | 12 Apr 2026 08:14 |
| URI: | http://eprints.eai.eu/id/eprint/16916 |
Actions (login required)
- View Item