Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:

    Conference:

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



    Publication date :

    2005-01-01


    Size :

    P109


    Remarks:

    Held on CD-ROM



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Formal requirements-based programming for complex systems

    Rash, J.L. / Hinchey, M.G. / Rouff, C.A. | Tema Archive | 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 Archive | 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