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]

Authors

Milena Guessi

This author has not been identified. Look up 'Milena Guessi' in Google

Flávio Oquendo

This author has not been identified. Look up 'Flávio Oquendo' in Google

Elisa Yumi Nakagawa

This author has not been identified. Look up 'Elisa Yumi Nakagawa' in Google