Font Size:
a
A
A
Keyword [timed automata]
Result: 21 - 40 | Page: 2 of 5
21.
Research On A Method Of Test Cases Generation Based On Timed Automata
22.
Research On UML Timing Diagram Model To UPPAAL Timed Automata Model Transformation Method And Its Tool To Achieve
23.
The Research On Model Transformation Based On MDE For Real-Time System Verification
24.
The Research On Model Transformation Based On Mde For Real-time System Verification
25.
Algorithms, Automata On Timed Automata And Its Tectonic Region
26.
Timed Automata New Recognition Model And The Automata Of The Long Span Area
27.
Timed Automata Up Study
28.
Based On Timed Automata, Real-time System Specification Validation Study
29.
Based On Timed Automata Model Verification Theory And Applied Research
30.
Based On The Number Of New Models Of Timed Automata
31.
Optimization Of Model Verification Methods Based On Timed Automata
32.
Timed Automata Reachability Detection Methods
33.
Verification Techniques Based On Timed Automata Model
34.
If Graphical Models Of Real-time Software Design Verification
35.
Improvement Research Of Scheduling Analysis Tool For Distributed Real-Time System
36.
Formal Modeling And Verification Research Of Automatic Train Protection System
37.
Research On Formal Verification Methods Of Model Of Complicated Information System
38.
The Method Research On Resource Modeling And Verification Of Real-Time Software Based On Model Transformation
39.
Research On Transformation Of UPPAAL Timed Automata To UML Diagram And The Implementation Tool
40.
A Formalized Model Of Digital Data For Trusted Forensics
<<First
<Prev
Next>
Last>>
Jump to
