Font Size: a A A
Keyword [MARTE]
Result: 1 - 19 | Page: 1 of 1
1. The Research On Model Transformation Based On MDE For Real-Time System Verification
2. The Research On Model Transformation Based On Mde For Real-time System Verification
3. Spatio-Temporal UML Model Method For Cyber-Physical Systems
4. The Method Research On Resource Modeling And Verification Of Real-Time Software Based On Model Transformation
5. Research On Model-Driven Testing And Maintenance Methods For Embedded Software
6. Research On Aspect-Oriented Time Modeling And Transformation Based On MARTE Language
7. UML And AADL Model Transformation And Test Based On
8. Research On ZIA Formal Model And It’s Automatic Validation Method For Hybrid Systems
9. Research On Formal Specification Of Automatic Verification Algorithm
10. MARTE Models Based System Performance Assessment
11. Research On Model Driven Safety Verification For Embedded System Designs
12. Research On MDE Based AADL Component Composition Modeling And Simulation
13. Research On MDE Based Model Transformation
14. Research On Dependability Modeling And Verification Technology For Real-Time Embeded Software And Its Applications
15. Research On Safety Verification For Embedded And Real-time Systems Based-on SysML Activity Diagram
16. A Simulation Approach For UML Interaction Model Based On RTX
17. Modelling Approach For Cyber Physical Systems Based On SysML/MARTE/pCCSL
18. An SMT-based Approach To Formal Analysis Of MARTE/CCSL And Its Applications
19. Rule-based model transformation from UML+MARTE to Core Scenario Models
  <<First  <Prev  Next>  Last>>  Jump to