Specification and Design of Electrical Flight System Architectures with SysML.

Mark L. McKelvin Jr.Alejandro Jimenez

Published in: Infotech@Aerospace (2012)

Keyphrases

formal methods
case study
computer aided
learning design
modeling language
design methodologies
information systems
user interface
design process
engineering design
formal specification
modelling language
space shuttle