Formal requirements analysis of an avionics control system

Dutertre, Bruno [and other]

Formal requirements analysis of an avionics control system


SOFTWARE

H004.41 SOF