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 modeling for railway signaling using commercial tools

Author(s) : Ferrari A. , Fantechi A. , Bacherini S. , Zingoni N.
Description : Modeling guidelines constitute one of the fundamental cornerstones for Model Based Development. Their relevance is essential when dealing with code generation in the safety-critical domain. This article presents the experience of a railway signaling systems manufacturer on this issue.
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: NFM 2009 - The First NASA Formal Methods Symposium (Moffett Field, California, April 6 - 8 2009). Proceedings, pp. 166 - 170. E. Denney, D. Giannakopoulou, C. S. Pasareanu (eds.). NASA Ames Research Center, 2009.
Publication Date(s) :