flag flag  

Search all repositories
add criteria
Close advanced options Search for

 

Enter more search criteria
Publication Date
     
From
To
Document Language
Document Type
Repositories
Search History
• (author = "Bacherini S.")
Document details

Formal development for railway signaling using commercial tools

Author(s) : Ferrari A. , Fantechi A. , Bacherini S. , Zingoni N.
Description : 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.
Repository : National Research Council Pisa - ISTI Repository , View repository documents
Language(s) : English
Subject(s) : Formal Methods for Industrial Critical Systems , Formal modeling
Publisher(s) :
Contributor(s) :
Source(s) : In: FMICS 2009 - Formal Methods for Industrial Critical Systems. 14th International Workshop (Eindhoven, The Netherlands, 2-3 November 2009). Abstract, pp. 197 - 198. María Alpuente, Byron Cook, Christophe Joubert (eds.). (Lecture Notes in Computer Science, vol. 5825). Springer, 2009.
Publication Date(s) :