Paper information

Paper code

IAC-14,B6,P,2,x25338

Order

2

Room

Prefunction

Title

Model-Based Verification of Autonomous Onboard Planning Systems

abstract

View PDF

Session

P. Poster Session

symposium

B6. SPACE OPERATIONS SYMPOSIUM

congress

IAC-14

Type of presentation

poster

Main author

Mr. Gerhard Fellinger, University of Würzburg, Germany