Media type: Electronic Thesis; Doctoral Thesis; E-Book Title: Formal development of a train control system using Event-B Contributor: Fürst, Andreas [Author] imprint: ETH-Zürich, 2015 Language: English DOI: https://doi.org/20.500.11850/155331; https://doi.org/10.3929/ethz-a-010560463 Keywords: COMPUTERANWENDUNGEN IN VERKEHR UND TRANSPORT ; TESTEN + FEHLERSUCHEN (SOFTWARE ENGINEERING) ; computer science ; SPECIFICATIONS (SOFTWARE ENGINEERING) ; TESTING + DEBUGGING (SOFTWARE ENGINEERING) ; SPEZIFIKATIONSSPRACHEN (SOFTWARE ENGINEERING) ; COMPUTER APPLICATIONS IN TRAFFIC AND TRANSPORTATION ; SPEZIFIKATIONEN (SOFTWARE ENGINEERING) ; SPECIFICATION LANGUAGES (SOFTWARE ENGINEERING) ; Data processing Origination: Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen. Access State: Open Access Rights information: In Copyright - Non-commercial Use Permitted