


default search action
1st AiSoS 2013: Rome, Italy
- Kim G. Larsen

, Axel Legay, Ulrik Nyman
:
Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. EPTCS 133, 2013 - Eric C. Honour:

Verification and Validation Issues in Systems of Systems. 2-7 - Goetz Botterweck:

Variability and Evolution in Systems of Systems. 8-23 - Luca Pazzi:

Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism. 24-34 - Hermann Kopetz:

System-of-Systems Complexity. 35-39 - Boudewijn R. Haverkort

:
Challenges for modelling and analysis in embedded systems and systems-of-systems design. 40-46 - Alexandre Arnold, Benoît Boyer, Axel Legay:

Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach. 47-66 - Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold:

SoS contract verification using statistical model checking. 67-83 - Manuela-Luminita Bujorianu, Marius C. Bujorianu:

A coordination model for ultra-large scale systems of systems. 84-98

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














