7 citations · 7 across the 1 of their papers we have counts for
1 paper
Luis Diogo Couto, Simon Foster, Richard Payne
This paper explores verification of constituent systems within the context of the Symphony tool platform for Systems of Systems (SoS). Our SoS modelling language, CML, supports var…