Font Size:
a
A
A
Keyword [AADL model]
Result: 1 - 11 | Page: 1 of 1
1.
Design And Implementation Of AADL Model Schedulability Analysis Tool
2.
Model Validation And Code Generation Techniques Based On Aadl
3.
Research On Automatic Generation Of AADL Model Code Based On ARINC653 Platform
4.
Based On The Research Of B Method Aadl Model Generated
5.
Based On The Standard Of Arinc653 Aadl Model Research And Realization Of The Configuration Tool
6.
AADL Model Transformation And Validation Studies
7.
UML And AADL Model Transformation And Test Based On
8.
Consistency Verification Of The AADL Model With Time Constraints
9.
Research On The Deriviation Of AADL Design Models For Safety-Critical Software
10.
Research On Refinement-based Ada Code Generation Of AADL Models
11.
Research On The Transformation Method From SysML Model To AADL Model For Safety-critical Systems
<<First
<Prev Next>
Last>>
Jump to
