Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards Domain-Specific Formal Specification Languages for Railway Control Systems



    Kongress:

    IFAC symposium; 9th, Control in transportation systems ; 2000 ; Braunschweig, Germany



    Erscheinungsdatum :

    2001-01-01


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Investigating the readability of state-based formal requirements specification languages

    Zimmerman, M.K. / Lundqvist, K. / Leveson, N. | Tema Archiv | 2002


    Formal Methods for the Specification and Verification of Distributed Railway Control Systems: From Algebraic Specification to Distributed Hybrid Real-Time Systems

    Peleska, J. / Haxthausen, A. E. / Institut fur Automatisierungstechnik et al. | British Library Conference Proceedings | 2000



    Towards a Tool-Based Domain Specific Approach for Railway Systems Modeling and Validation

    Idani, Akram / Ledru, Yves / Wakrime, Abderrahim Ait et al. | British Library Conference Proceedings | 2019