timed automata - Globe Thesis

Keyword [timed automata] Result: 61 - 80 \| Page: 4 of 5
61.	Design And Performance Analysis Of Personnel Positioning Management System Based On RFID Technology
62.	Research On Safety Verification For Embedded And Real-time Systems Based-on SysML Activity Diagram
63.	ECA Rules System Modeling And Interaction Problem Verification Based On Timed Automata
64.	Research On Real-time Systems Safety Verification Based On Temporal Fault Tree
65.	Research On Transaction Mechanism For Web Service Asynchronized
66.	Research And Implemention Of Model Based Real-time System Formalization Validation
67.	A Variation-Aware Quantitative Analysis And Optimization Framework For ThingML Designs
68.	Design And Quantitative Analysis For Hybrid AADL Under Uncertain Environment
69.	Research On Test Case Generation Method Of Real-time System Based On Timed Automata
70.	Formal Verification Of Temporal Constraint Activity Anomaly Monitoring System Based On Timed Automata
71.	Research And Implementation Of Real-Time System Modeling And Formal Verification Based On UML And UPPAAL
72.	Formal Modeling And Application Research Of System Based On Model Checking
73.	Study On Internet Of Things Security Modeling And Exact Acceleration Principle
74.	Research Of Performance Analysis Method Of Distributed Real-Time System Based On RTC And UPPAAL
75.	Research On PLCopen Motion Control Development Platform And Its Reliability
76.	Model Checking Of Cyber Physical System Based On Co-simulation And Statistical Model Checking
77.	Performance Analyzing Of WSN Time Synchronization Protocol Based On Timed Automata
78.	Design Method For PLC Program Based On Timed Automata Theory And Its Application
79.	The Coverability Problem Of Asynchronous Multi-Process Timed Automata
80.	Design And Implementation Of Structured Text Language Development Tool
<<First <Prev Next> Last>> Jump to