Font Size: a A A
Keyword [Liveness]
Result: 1 - 20 | Page: 1 of 7
1. The PN Behavior Theories And Its Applications Of Concurrent System Synthesis
2. Synthesis And Optimization Of Supervisors Using Petri Nets In Automated Manufacturing Systems
3. The Research Of System, Rules And Checking Of Protocol Based On TLA
4. Studies Of Petri Net Control Method For Discrete Event System
5. Study On The Liveness And Boundedness Of Time Petri Nets
6. State Feedback Control Of Discrete Event Dynamical System
7. Vertification Of OSPF Protocol Based On Coloured Petri Net
8. Verification Of ATM Fabric's Behavior Using SPIN
9. Formal Method Integrating B Method And Time Petri Nets
10. Research On Register File Management For The DSMT Architecture Based On EPIC
11. The Research Of Petri Nets' Liveness Decision
12. A Method For Reachability Decision Of Live Single Branch Petri-Nets And An Algorithm For Construction Of Improved Coverability Tree
13. Optimization And Implementation Of Some Algorithms In Liveness-enforcement For WS~3PR
14. An Improved Method Of Liveness-enforcing Petri Net Supervisors Based On The Theory Of Regions
15. The Research On Embedded Liveness Detection Palmprint Recognition System
16. Strict Minimal Siphons Computation And Liveness-Enforcing Supervisor Synthesis For S~3PR
17. Living Fingerprint Detection Based On Texture Analysis And Wavelet Analysis
18. Based On Timed Automata, Real-time System Specification Validation Study
19. Deadlock Detection, Intelligent Robot System Based On Petri Nets
20. For Multi-agent Design And Analysis Of Formal Methods
  <<First  <Prev  Next>  Last>>  Jump to