42 citations · 206 across the 16 of their papers we have counts for
1 paper · 1 filter
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…