Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Additional title:

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



    Publication date :

    2019


    Size :

    1 Online-Ressource


    Type of media :

    Theses


    Type of material :

    Electronic Resource


    Language :

    English


    Classification :

    DDC:    629.2