"States and Modes"

Modeling and verification method for an early evaluation of Systems of Systems interactions

This paper presents the results achieved while pursuing the verification and validation of a train system behavior at the first steps …