Timed Automata - Globe Thesis

Keyword [Timed Automata] Result: 41 - 60 \| Page: 3 of 5
41.	Modeling Web Service And Checking Copatibility Of Web Services In Asynchronous Interaction
42.	Modeling And Analyzing Wireless Sensor Network Protocols With Stochastic Timed Automata And Statistical Model Checking
43.	Model And Method For Ratbot Automatic Control
44.	Design And Implementation Of A DSL-based Approach To Manage Home Care Plans
45.	BGA Solder Ball Height Real-time Inspection System Based On Timed Automata
46.	Real-time Verification Of The Embedded System Model Based On AADL Using UPPAAL
47.	The Modeling And Analyzing Of Data Gathering Protocol For Wireless Sensor Networks
48.	Research On Formal Specification Of Automatic Verification Algorithm
49.	Study And Implementation Of Reachability Algorithm On Updatable Timed Automata
50.	Self-adaptive Structure Model For The Internet Of Things Software
51.	Modeling And Analyzing Of Wireless Sensor Network Protocol Based On Statistical Model Checking
52.	Modeling And Analysis Of CPS Based On OCTPN
53.	Research On Model-based Testing Methods Of Routing Protocol For Wireless Sensor Networks
54.	Formal Analysis And Verification Of Web Service Compositions With Timing Constraints
55.	Formal Modeling Of PLC System With FBD Language And Validation Of The Real-time Property
56.	Research On Security Of Model Checking-based Cyber-physical Systems
57.	Research And Implementation Of Computer Based Interlocking System Design With Model Driven Application
58.	Extended Research On Software Safety Analysis Methodology Based On Safety Requirements
59.	Modeling And Verification Based On Hybrid Spatial-temporal Petri Net For Cyber Physical System
60.	Research On MDE Based Model Transformation
<<First <Prev Next> Last>> Jump to