Font Size: a A A
Keyword [AADL]
Result: 21 - 40 | Page: 2 of 3
21. AADL Model Transformation And Validation Studies
22. UML And AADL Model Transformation And Test Based On
23. Real-time Verification Of The Embedded System Model Based On AADL Using UPPAAL
24. Research And Implementation Of Modeling And Simulation Based On Multi-core Mobile Terminals
25. The Analysis And Design Method Based On Multi-view For Cyber Physical System
26. The Analysis And Design Method Of Cyber-Physical System Based On Big Data
27. An Approach To Estimating Energy Consumption For Mobile Software Based On AADL Language
28. The Design And Verification Of A Profile For Step Data Transmission Based On Bluetooth Low Energy
29. Research On MDE Based AADL Component Composition Modeling And Simulation
30. Formal Modeling And Verification Of AADL Thread Component Using Real-Time Maude
31. The Analysis And Design Method Of Big Data-Driven Railway Cyber-Physical System
32. Analysis And Design Method Of Medical Cyber-Physical System Driven By Big Data
33. The Analysis And Design Method Of Big Data-Driven Industrial Robot Cyber-Physical System
34. Design And Implementation Of An AADL Modeling Tool
35. Research On Transition Rules Of AADL Subsets To TASM
36. Research On Quantitative Risk Analysis Of The Safety-critical Systems
37. Research On Real-time Systems Safety Verification Based On Temporal Fault Tree
38. Web Application Architecture Security Evaluation Method Based On AADL
39. Design And Quantitative Analysis For Hybrid AADL Under Uncertain Environment
40. The Conversion Research From AADL To UPPAAL And Tool Integration
  <<First  <Prev  Next>  Last>>  Jump to