Font Size:
a
A
A
Keyword [Timed automaton]
Result: 1 - 11 | Page: 1 of 1
1.
The Study Of Peer-to-Peer Network And Its Protocol Verification Based On Gnutella Protocol
2.
Algorithms, Automata On Timed Automata And Its Tectonic Region
3.
Time Input / Output Automata, Conformance Testing
4.
The Technique Of Model Checking Of Real-time Systems And Its Application For Interrupt-Driven Systems
5.
Mobile Ad Hoc Based On Clustering And Finite Timed Automaton Intrusion Detection Model Research
6.
Verification And Analysis Of Self-organization Protocols Of Sensor Networks Based On Model Checking
7.
Clocks Manipulation Applying To The Formal Verificationof Timed System
8.
The Research Of Runtime Verification Technology Based On Timed Sequence Diagram
9.
Research Of Embedded Software Formalization Modeling And Verification Method Based On STM
10.
The Framework And Adaptive Method Of The Internet Of Things Software Based On WSAN
11.
Generation automatique d'une specification formelle a partir de scenarios temps-reels (French text)
<<First
<Prev Next>
Last>>
Jump to
