No abstract available
SW Architectural Modeling and Assurance with AADL
Internal NASA Software Assurance Research Program TIM (Technical Interface Meeting) ; 2012 ; Pasadena, CA, United States
2012-08-21
Miscellaneous
No indication
English
Using AADL to Assess Architectural Concerns for Cyber Security
SAE Technical Papers | 2023
|NTIS | 2021
|British Library Conference Proceedings | 2006
|Checking Compliance of AADL Models with Modeling Guidelines using Resolint
British Library Conference Proceedings | 2023
|