Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Safety Verification for Probabilistic Hybrid Systems


    Beteiligte:
    Zhang, L. (Autor:in) / She, Z. (Autor:in) / Ratschan, S. (Autor:in) / Hermanns, H. (Autor:in) / Hahn, E.M. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.01.2012


    Format / Umfang :

    19 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629.895




    Gait Verification Using Probabilistic Methods

    Bazin, Alex I. / Nixon, Mark S. | IEEE | 2005


    SAFETY VERIFICATION SYSTEM AND SAFETY VERIFICATION METHOD

    WATANABE NATSUMI / OTSUKA TOSHIFUMI | Europäisches Patentamt | 2024

    Freier Zugriff

    Probabilistic Safety Analysis in Complex Pipeline Systems

    Yang, Zhaoming / Su, Huai | Springer Verlag | 2023


    Safety verification of automated driving systems

    Kianfar, Roozbeh | Online Contents | 2013