학술논문
Model-based approach to verify the behaviour of a distributed autonomous onboard system
Document Type
Conference Paper
Author
Source
In: Proceedings of the International Astronautical Congress, IAC . (Proceedings of the International Astronautical Congress, IAC, 2014, 10:6984-6990)
Subject
Language
English
ISSN
00741795