Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines (Englisch)
Freier Zugriff
- Neue Suche nach: Celebi, Basri Tugcan
- Neue Suche nach: Kaymakci, Ozgur Turay
- Neue Suche nach: Celebi, Basri Tugcan
- Neue Suche nach: Kaymakci, Ozgur Turay
In:
Journal of Modern Transportation
;
24
, 4
;
277-283
;
2016
- Aufsatz (Zeitschrift) / Elektronische Ressource
-
Titel:Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines
-
Beteiligte:Celebi, Basri Tugcan ( Autor:in ) / Kaymakci, Ozgur Turay ( Autor:in )
-
Erschienen in:Journal of Modern Transportation ; 24, 4 ; 277-283
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin/Heidelberg
-
Erscheinungsdatum:27.10.2016
-
Format / Umfang:7 pages
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz (Zeitschrift)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis – Band 24, Ausgabe 4
Zeige alle Jahrgänge und Ausgaben
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 237
-
Review of recent progress in studies on noise emanating from rail transit bridgesLi, Xiaozhen / Yang, Dewang / Chen, Guiyuan / Li, Yadong / Zhang, Xun et al. | 2016
- 251
-
Simplified full-depth precast concrete deck panel systems for accelerated bridge constructionMa, Zhongguo John / Zhan, Yulin / Xiao, Lin / Li, Lungui / Lu, Weiwei et al. | 2016
- 261
-
Mechanism and effects of snow accumulations and controls by lightweight snow fencesLiu, Duote / Li, Yongle / Wang, Bin / Hu, Peng / Zhang, Jingyu et al. | 2016
- 270
-
Analysis of the stress intensity factor of welded joints under prior corrosion and complex stress fieldsJie, Zhiyu / Li, Yadong / Wei, Xing et al. | 2016
- 277
-
Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machinesCelebi, Basri Tugcan / Kaymakci, Ozgur Turay et al. | 2016
- 284
-
Autonomous vehicles: challenges, opportunities, and future implications for transportation policiesBagloee, Saeed Asadi / Tavana, Madjid / Asadi, Mohsen / Oliver, Tracey et al. | 2016
- 304
-
Analysis of occupation time of vehicles at urban unsignalized intersections in non-lane-based mixed traffic conditionsAsaithambi, Gowri / Anuroop, Chepuru et al. | 2016