Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formal specification, monitoring, and verification of autonomous vehicles in Isabelle/HOL


    Weitere Titelangaben:

    Formale Spezifikation, Erfüllbarkeitsanalyse, und formale Verifikation von autonomen Fahrzeugen in Isabelle/HOL


    Beteiligte:

    Erscheinungsdatum :

    2019


    Format / Umfang :

    1 Online-Ressource


    Medientyp :

    Hochschulschrift


    Format :

    Elektronische Ressource


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629.2