Galileo System Verification: Approach, Methods and Tools
Galileo System Verification: Approach, Methods and Tools
Date
2004
Authors
Strodl, K.
Naddeo, G.
Samson, J.
Dieleman, P.
Ferraguto, M.
Hardt, H.-J. von der
Gottifredi, F.
Journal Title
Journal ISSN
Volume Title
Publisher
National Aerospace Laboratory NLR