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]