timed automata - Globe Thesis

Keyword [timed automata] Result: 1 - 20 \| Page: 1 of 5
1.	Research On Automata-based Efficient Model Checking Algorithms
2.	Intrusion Detection And Active Response In Mobile Ad Hoc Networks
3.	Method And Implementation Of NMCSs Based On Clock Synchronization
4.	The Formal Verification Techniques For The Timed System Using Timed Automata
5.	Research On The Formalization Of Semantic Features And Behavior Composition For Real-Time Service Component
6.	Analysis And Control Of Stochastic Real Time Systems
7.	Study On The Application Of Formal Method In Component-based Real-time System
8.	Time Varying Network Chinese Postman Problem:Integer Programming Formulations And Algorithms
9.	The Research And Implementation Of Algorithms For Model-Checking Tool FPTAT For Real-Time Systems
10.	Study And Implementation Of Access Authentication And Accounting System Based On The Interaction Of Multi-System
11.	Design, Implementation And Analysis Of A SIP-Based Video Conference Server
12.	Research Of Formalization Description Methods Of Interlock Software In Railway Signal System
13.	Research On Timed Automata And Its Application
14.	Modeling And Verification Of Embedded Real-time Software By Combination Of Visual Method And Formal Method
15.	Formal Modeling And Verification Of Real-time Systems Based On Time Automation
16.	Research & Implementation Of SIP Security Model Based On Public-key Cryptosystem
17.	Study On Survivability Evaluation Based On Timed Automata
18.	Design And Implementation Of AADL Model Schedulability Analysis Tool
19.	Research On Verification Of Web Service Composition Based On XYZ/ADL
20.	Study On Exact Acceleration Of Real-Time Model Checking
<<First <Prev Next> Last>> Jump to