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]

@inproceedings{GuessiON16,
  title = {Checking the architectural feasibility of Systems-of-Systems using formal descriptions},
  author = {Milena Guessi and Flávio Oquendo and Elisa Yumi Nakagawa},
  year = {2016},
  doi = {10.1109/SYSOSE.2016.7542939},
  url = {http://dx.doi.org/10.1109/SYSOSE.2016.7542939},
  researchr = {https://researchr.org/publication/GuessiON16},
  cites = {0},
  citedby = {0},
  pages = {1-6},
  booktitle = {11th System of Systems Engineering Conference, SoSE 2016, Kongsberg, Norway, June 12-16, 2016},
  publisher = {IEEE},
  isbn = {978-1-4673-8727-9},
}