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. © 2009 Springer-Verlag Berlin Heidelberg.
CITATION STYLE
Ferrari, A., Fantechi, A., Bacherini, S., & Zingoni, N. (2009). Formal development for railway signaling using commercial tools. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5825 LNCS, pp. 197–198). https://doi.org/10.1007/978-3-642-04570-7_15
Mendeley helps you to discover research relevant for your work.