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

Category

Conference:

Internationales Wissenschaftliches Kolloquium. Technische Universität Ilmenau, Faculty of Computer Science and Automation ; 52 (Ilmenau) : 2007.09.10-13

Publisher:

ilmedia ^GND

Published in:

Computer science meets automation
Vol. 52, 2007, Vol. 1 (30.08.2007), p. 389-394

Volume:

52, 2007, Vol. 1

Date Created:

30.08.2007

Date Issued:

30.08.2007

PPN:

544189132

Language:

English

Type of Resource:

Text

Extent:

20 Seiten

Place Term:

Ilmenau

Classification:

Klasse A

Classification:

für Harvesting bereitgestellt

Classification:

52. IWK (2007)

DDC subject of DNB:

004 Data processing Computer sciences

Hosting institution:

Technische Universität Ilmenau, Fakultät für Informatik und Automatisierung