System Verification Approach, Methods and Tools for Galileo - Dieleman, P.; Samson, J.; Strodl, K.; Naddeo, G.; Ferraguto, M.; Hardt, H.-J. von der; Gottifredi, F. (National Aerospace Laboratory NLR, 2004)
Keywords: Satellite navigation; Electrical and electronic engineering