Dutertre, Bruno [and other] <br/><br/>
Formal requirements analysis of an avionics control system 

<br/><br/><label>Subjects--Topical Terms: </label><br/>SOFTWARE
<br/><br/><label>Universal Decimal Class. No.: </label>H004.41 SOF