DocumentCode
769556
Title
Simulating and analyzing railway interlockings in ExSpect
Author
Basten, Twan ; Bol, Roland ; Voorhoeve, Marc
Volume
3
Issue
3
fYear
1995
Firstpage
50
Keywords
Analytical models; Design engineering; Design optimization; Formal languages; Layout; Petri nets; Rail transportation; Railway engineering; Railway safety; Specification languages;
fLanguage
English
Journal_Title
Parallel & Distributed Technology: Systems & Applications, IEEE
Publisher
ieee
ISSN
1063-6552
Type
jour
DOI
10.1109/M-PDT.1995.414843
Filename
414843
Link To Document