Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    EUROBOT: Use of the MUROCO formal approach for Activity Analysis, Programming and Control


    Beteiligte:

    Kongress:

    8th, International symposium on artificial intelligence, robotics and automation in space; i-SAIRAS 2005 ; 2005 ; Munich, Germany



    Erscheinungsdatum :

    2005-01-01


    Format / Umfang :

    P109


    Anmerkungen:

    Held on CD-ROM



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    Formal requirements-based programming for complex systems

    Rash, J.L. / Hinchey, M.G. / Rouff, C.A. | Tema Archiv | 2005


    Formal Safety Analysis in Transportation Control

    Ortmeier, F. / Thums, A. / Zentrum fur Verkehr der Technischen Universitat Braunschweig et al. | British Library Conference Proceedings | 2003


    Formal safety analysis in transportation control

    Thums, A. / Schellhorn, G. | Tema Archiv | 2003



    Modeling, analysis and verification of real-time resource access control protocols: a formal approach

    Hazra, Rumpa / Dey, Shouvik / Singha, Jayashree | British Library Online Contents | 2018