Verifying the accuracy of interlocking tables for railway signalling systems using abstract state machines
| Auteur(s): |
Basri Tugcan Celebi
Ozgur Turay Kaymakci |
|---|---|
| Médium: | article de revue |
| Langue(s): | anglais |
| Publié dans: | Journal of Modern Transportation, octobre 2016, n. 4, v. 24 |
| Page(s): | 277-283 |
| DOI: | 10.1007/s40534-016-0119-1 |
| Copyright: | © The Author(s) 2016 |
| License: | Cette oeuvre a été publiée sous la license Creative Commons Attribution 4.0 (CC-BY 4.0). Il est autorisé de partager et adapter l'oeuvre tant que l'auteur est crédité et la license est indiquée (avec le lien ci-dessus). Vous devez aussi indiquer si des changements on été fait vis-à-vis de l'original. |
Télécharger le texte intégral (fichier PDF)
0.51 MB
Publicité
Publicité
0.51 MB
- Informations
sur cette fiche - Reference-ID
10255993 - Publié(e) le:
18.12.2018 - Modifié(e) le:
02.06.2021
Structurae coopère avec