Checking the architectural feasibility of systems-of-systems using formal descriptions
Milena Guessi Flavio Oquendo; Elisa Yumi Nakagawa; IEEE Systems of Systems Engineering Conference - SoSE 2016 (11. 2016 Kongsberg, Noruega)
Proceedings Los Alamitos, CA : IEEE, 2016Los Alamitos, CA IEEE 2016
Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2776092 )(Acessar)