Experimenting an AADL Behavioural Annex and a Verification Method
Conference, Data systems in aerospace ; 2006 ; Berlin
2006-01-01
6-3
Held on CD-ROM.; Shelved in Conference Index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
British Library Conference Proceedings | 2006
|NTIS | 2015
|SAE Technical Papers | 2019
Architecture Analysis and Design Language (AADL) Annex D: Behavior Model Annex
SAE Technical Papers | 2017