A concept for team-orientated mission planning and formal language verification for heterogenous unmanned vehicles

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Computer science meets automation ; Vol. 1
Weitere Verfasser: Glotzbach, Thomas (BerichterstatterIn), Marinov, Martin (BerichterstatterIn), Otto, Peter (BerichterstatterIn), Schneider, Matthias (BerichterstatterIn)
Pages:1
Format: UnknownFormat
Sprache:eng
Veröffentlicht: 2007
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Parallel als Online-Ausg. erschienen unter der Adresse http://www.db-thueringen.de/servlets/DocumentServlet?id=8790