Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal Specification and Verification of Hybrid Programs for Urban Air Mobility


    Beteiligte:
    J. Tanner Slagel (Autor:in) / Cesar Munoz (Autor:in) / Swee Balachandran (Autor:in) / Aaron Dutle (Autor:in) / Mariano Moscato (Autor:in)

    Kongress:

    Formal V&V for G&C software and auto-coding for G&C ; 2021 ; Online, US


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch






    Verification of PLC programs using formal proof techniques

    Sülflow, Andre / Drechsler, Rolf | Tema Archiv | 2008



    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