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.