Filter your results
- 2
- 2
- 3
- 1
- 4
- 2
- 2
- 4
- 4
- 1
- 4
- 3
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Formal Language for Modelling and Verifying Systems-of-Systems Software ArchitecturesInternational journal of systems and service-oriented engineering (IJSSOE), 2022, 12 (1), pp.1-17. ⟨10.4018/IJSSOE.297137⟩
Journal articles
hal-03658631v1
|
||
Towards Software Architectural Description for Systems of Systemsthe 2018 International Conference, Apr 2018, Singapore, Singapore. pp.183-187, ⟨10.1145/3230348.3230367⟩
Conference papers
hal-03658626v1
|
|||
A Maude based Specification for SoS Architecture2018 13th Annual Conference on System of Systems Engineering (SoSE), Jun 2018, Paris, France. pp.45-52, ⟨10.1109/SYSOSE.2018.8428738⟩
Conference papers
hal-03025335v1
|
|||
|
Modeling the Dynamic Reconfiguration in Smart Crisis Response Systems17th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2022, Online Streaming, Portugal. pp.162-173, ⟨10.5220/0011069300003176⟩
Conference papers
hal-03658634v1
|