AiSoS

Keyphrases

Publications

2013

Hermann Kopetz
System-of-Systems Complexity. AiSoS (2013)
Goetz Botterweck
Variability and Evolution in Systems of Systems. AiSoS (2013)
Alexandre Arnold, Benoît Boyer, Axel Legay
Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach. AiSoS (2013)
Alessandro Mignogna, Leonardo Mangeruca, Benoît Boyer, Axel Legay, Alexandre Arnold
SoS contract verification using statistical model checking. AiSoS (2013)
Manuela-Luminita Bujorianu, Marius C. Bujorianu
A coordination model for ultra-large scale systems of systems. AiSoS (2013)
Eric C. Honour
Verification and Validation Issues in Systems of Systems. AiSoS (2013)
Luca Pazzi
Systems of Systems Modeled by a Hierarchical Part-Whole State-Based Formalism. AiSoS (2013)
Boudewijn R. Haverkort
Challenges for modelling and analysis in embedded systems and systems-of-systems design. AiSoS (2013)

volume 133, 2013

Proceedings 1st Workshop on Advances in Systems of Systems, AiSoS 2013, Rome, Italy, 16th March 2013. AiSoS 133 (2013)