EUROBOT: Use of the MUROCO formal approach for Activity Analysis, Programming and Control
8th, International symposium on artificial intelligence, robotics and automation in space; i-SAIRAS 2005 ; 2005 ; Munich, Germany
International symposium on artificial intelligence, robotics and automation in space; i-SAIRAS 2005 ; 603 ; P109
2005-01-01
P109
Held on CD-ROM
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal requirements-based programming for complex systems
Tema Archiv | 2005
|Formal Safety Analysis in Transportation Control
British Library Conference Proceedings | 2003
|Formal safety analysis in transportation control
Tema Archiv | 2003
|SOLUTIONS - Software - Activity-Centric Approach to Distributed Programming
Online Contents | 2004