Checking the architectural feasibility of Systems-of-Systems using formal descriptions

Milena Guessi, Flávio Oquendo, Elisa Yumi Nakagawa. Checking the architectural feasibility of Systems-of-Systems using formal descriptions. In 11th System of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12-16, 2016. pages 1-6, IEEE, 2016. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.