Font Size: a A A
Keyword [UPPAAL]
Result: 21 - 40 | Page: 2 of 3
21. Research On Transformation Of UPPAAL Timed Automata To UML Diagram And The Implementation Tool
22. A Formalized Model Of Digital Data For Trusted Forensics
23. Research On Safety Verification Techniques For Logic Control
24. BGA Solder Ball Height Real-time Inspection System Based On Timed Automata
25. Model Checking Of FlexRay Communication Protocol
26. Real-time Verification Of The Embedded System Model Based On AADL Using UPPAAL
27. The Modeling And Analyzing Of Data Gathering Protocol For Wireless Sensor Networks
28. Verification Of Routing Protocols Based On UPPAAL
29. Research On Obligation Mechanism Based On P-RBAC Model
30. The Design And Verification Of A Profile For Step Data Transmission Based On Bluetooth Low Energy
31. Modeling And Verification For Embedded Interrupt Based On Extended Time Petri Nets
32. Formal Analysis And Verification Of Web Service Compositions With Timing Constraints
33. Formal Modeling Of PLC System With FBD Language And Validation Of The Real-time Property
34. Modeling And Verification Based On Hybrid Spatial-temporal Petri Net For Cyber Physical System
35. Design And Performance Analysis Of Personnel Positioning Management System Based On RFID Technology
36. Researchon AHB Bus Formal Verification Methodbasedon UPPAAL
37. ECA Rules System Modeling And Interaction Problem Verification Based On Timed Automata
38. The Conversion Research From AADL To UPPAAL And Tool Integration
39. Formal Verification Of Temporal Constraint Activity Anomaly Monitoring System Based On Timed Automata
40. Research And Implementation Of Real-Time System Modeling And Formal Verification Based On UML And UPPAAL
  <<First  <Prev  Next>  Last>>  Jump to