Checking Compliance of AADL Models with Modeling Guidelines using Resolint
2023 AeroTech
2023-01-01
ALL-ALL
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Checking Compliance of AADL Models with Modeling Guidelines using Resolint
SAE Technical Papers | 2023
|Integrating Formal Model Checking with the RTEdge™ AADL Microkernel
SAE Technical Papers | 2011
|NTIS | 2021
|SW Architectural Modeling and Assurance with AADL
NTRS | 2012
|British Library Conference Proceedings | 2006
|