The Symphony IDE
Formal Modelling for Systems of Systems
BorderTraffic_S2C
Author:
This example models the traffic flow of a border crossing between two countries as a SysML model suitable for conversion by the S2C plugin.
Formal Modelling for Systems of Systems
Author:
This example models the traffic flow of a border crossing between two countries as a SysML model suitable for conversion by the S2C plugin.