Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Symbolic Verification of Hybrid Systems: An Algebraic Approach


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    01.01.2001


    Format / Umfang :

    16 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    DDC:    629.895




    Symbolic Reachability Analysis of Multirate Hybrid Systems

    Haibin, Z. / Zhenhua, D. | British Library Online Contents | 2007


    A Hybrid Symbolic and Sub-Symbolic Intelligent System for Mobile Robots

    Kelley, T. / Avery, E. / Long, L. et al. | British Library Conference Proceedings | 2009


    A Hybrid Symbolic and Sub-Symbolic Intelligent System for Mobile Robots

    Kelley, Troy / Avery, Eric / Long, Lyle et al. | AIAA | 2009


    CFD with Hybrid Symbolic-Numeric Methodology

    Camberos, J. A. / Lambe, L. A. / Luczak, R. et al. | British Library Conference Proceedings | 2004