Checking Compliance of AADL Models with Modeling Guidelines using Resolint
2023 AeroTech
01.01.2023
ALL-ALL
Aufsatz (Konferenz)
Englisch
© 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
|AADLib, A Library of Reusable AADL Models
SAE Technical Papers | 2013
|