Font Size:
a
A
A
Keyword [AADL]
Result: 41 - 58 | Page: 3 of 3
41.
Research On The Combined Modeling And Verification For Component-based Systems
42.
Consistency Verification Of The AADL Model With Time Constraints
43.
The Modeling And Verification Of Cyber Physical System Based On AADL
44.
The Designing Method Of Big Data-Driven Industrial Robot Cyber-physical System Based On Cloud Platform
45.
Research On Generation Of Standard Codes For Embedded System Based On AADL
46.
Research On Requirement Traceability Of The Safety-critical Systems
47.
AADL-based Software Safety Analysis And Testing
48.
A Method For Extension And Verification Of AADL Behavior Annex In The Context Of Hierarchical Behavior Modeling
49.
Research On The Deriviation Of AADL Design Models For Safety-Critical Software
50.
Reserach On The Formal Modeling And Performance Evaluation Of Cyber Physical System Based On Modelica-AADL
51.
RBML:A Refined Behavior Modeling Language For Safety-critical Hybrid Systems
52.
APECS: Polychrony based End-to-End Embedded System Design and Code Synthesi
53.
Software-defined Modeling Method Of Cyber-physical System Driven By Big Data
54.
Research On Refinement-based Ada Code Generation Of AADL Models
55.
A Compositional Verification Method For AADL Models Of Safety-critical Software
56.
Research On The Transformation Method From SysML Model To AADL Model For Safety-critical Systems
57.
Research On Cost Modeling Method Based On AADL2
58.
Research On Safety Critical System Flow Model Modeling And Simulation Methods
<<First
<Prev
Next>
Last>>
Jump to
