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 :

    01.01.2001


    Format / Umfang :

    6 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal Specification of Railway Control Systems

    Xu, Bingqing / Zhang, Lichen | Springer Verlag | 2013


    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


    Formal Specification Method for Systems Automation

    Petin, J.-F. / Morel, G. / Panetto, H. | British Library Online Contents | 2006