Formal requirements analysis of an avionics control system
Dutertre, Bruno [and other]
Formal requirements analysis of an avionics control system
SOFTWARE
H004.41 SOF
Formal requirements analysis of an avionics control system
SOFTWARE
H004.41 SOF