Font Size: a A A
Keyword [UPPAAL]
Result: 1 - 20 | Page: 1 of 3
1. The Study Of Peer-to-Peer Network And Its Protocol Verification Based On Gnutella Protocol
2. Study And Implementation Of Access Authentication And Accounting System Based On The Interaction Of Multi-System
3. Design, Implementation And Analysis Of A SIP-Based Video Conference Server
4. Research Of Formalization Description Methods Of Interlock Software In Railway Signal System
5. Research On Timed Automata And Its Application
6. Formal Modeling And Verification Of Real-time Systems Based On Time Automation
7. Consistency Verification Of Dynamic Behavioral Models In Real-time Software Based On UML2.0
8. Formal Analysis And Application Of Real-time Systems Based On UPPAAL And UML
9. Research Of Modeling And Simulation On ASCI Of Dispatch Communication Application In GSM-R
10. Design And Implementation Of AADL Model Schedulability Analysis Tool
11. Analysis And Verification Of Security Protocols Based On Visual Methods And Formal Methods
12. Research On UML Timing Diagram Model To UPPAAL Timed Automata Model Transformation Method And Its Tool To Achieve
13. Design And Achievement Of A Tool Of Modeling, Simulation And Verification Of Context Aware System Based On UPPAAL
14. Schedulability Analysis Of Multi-Processor Real-Time Systems Using Uppaal
15. The Fr-the Gnet Network Model And Its Implementation
16. Based On Timed Automata, Real-time System Specification Validation Study
17. Based On Timed Automata Model Verification Theory And Applied Research
18. Formal Verification Method Of Model Checking-based E-commerce Agreement
19. Research On Modeling And Verification Based On UPPAAL And Its Application To CTCS-3Train Control System
20. Real-time Analysis And Verrification Of Real-Time Cyber Physical Systems
  <<First  <Prev  Next>  Last>>  Jump to