Email Record: Model-based specification and testing applied to the Ground-Based Midcourse Defense (GMD) system

TUKLAS: UP Libraries' Resource Discovery Tool
 Copyright © 2020-2021. The University Library, University of the Philippines Diliman