Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Formal Development for Railway Signaling Using Commercial Tools

Formal Development for Railway Signaling Using Commercial Tools

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 5825/2009
BookFormal Methods for Industrial Critical Systems
DOI10.1007/978-3-642-04570-7
Copyright2009
ISBN978-3-642-04569-1
DOI10.1007/978-3-642-04570-7_15
Pages197-198
Subject CollectionComputer Science
SpringerLink DateTuesday, November 03, 2009
Add to marked items

Formal Development for Railway Signaling Using Commercial Tools

Alessio Ferrari18, Alessandro Fantechi19, Stefano Bacherini18 and Niccoló Zingoni18

(18)  General Electric Transportation Systems (GETS), Firenze, Italy
(19)  Universitá di Firenze, DSI, Firenze, Italy
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.
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.114 • Server: mpweb22
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)