Collaborative formal modeling of System of Systems

Claus Ballegaard Nielsen, Peter Gorm Larsen. Collaborative formal modeling of System of Systems. In IEEE International Systems Conference, SysCon 2014, Proceedings, Ottawa, ON, Canada, March 31 - April 3, 2014. pages 154-161, IEEE, 2014. [doi]

@inproceedings{NielsenL14,
  title = {Collaborative formal modeling of System of Systems},
  author = {Claus Ballegaard Nielsen and Peter Gorm Larsen},
  year = {2014},
  doi = {10.1109/SysCon.2014.6819250},
  url = {http://dx.doi.org/10.1109/SysCon.2014.6819250},
  researchr = {https://researchr.org/publication/NielsenL14},
  cites = {0},
  citedby = {0},
  pages = {154-161},
  booktitle = {IEEE International Systems Conference, SysCon 2014, Proceedings, Ottawa, ON, Canada, March 31 - April 3, 2014},
  publisher = {IEEE},
}