AADL Behavioural Annex
Conference, Data systems in aerospace ; 2006 ; Berlin
2006-01-01
6-2
Held on CD-ROM.; Shelved in Conference Index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Experimenting an AADL Behavioural Annex and a Verification Method
British Library Conference Proceedings | 2006
|NTIS | 2015
|