Publication Date:
2009
abstract:
This report presents the approach experimented by a railway signaling manufacturer for the development of applications through Simulink/Stateflow in a standard-regulated industrial framework.
Iris type:
04.01 Contributo in Atti di convegno
Keywords:
Software/Program Verification. Formal Methods; Formal Methods for Industrial Critical Systems; Formal modeling
List of contributors: