Font Size: a A A
Keyword [Promela]
Result: 1 - 20 | Page: 1 of 1
1. Verification Of ATM Fabric's Behavior Using SPIN
2. SystemC～(FL) Modeling Verification Of Hardware Design System Using The SPIN Model Checker
3. Security Protocol Analysis And Verification Based On Model Checker SPIN
4. The Spin Model Checker Research And Application
5. Research On Verification Technology Of UML Models Based On Model Checking With SPIN
6. Composition Abstraction Spin Model Checking Based On Promela And Its Application
7. The Design And Implementation Of An Automated Model Checking Oriented Model Extractor
8. Formal Analysis Theory's Research And Application Of Model Checking SPIN
9. Study Of Some Key Issues On Model Checking In Formal Analysis
10. The Verification Method Of UML Interactive Charts Based On Model Checking
11. Process Modeling And Verification Of Service Oriented Architecture
12. The Analysis Of Model Checking And Verification System Of Network Security Protocol
13. Based On Model Checking The Model-driven System For The Design And Realization
14. E-commerce Protocol Analysis And Verification Based On SPIN Model Checking
15. The Formal Verification And Improvement Of 802.1X Protocol Based On SPIN
16. The Formal Verification And Improvement Of Set Protocol Based On Model Checking
17. Software Failure Modes And Effect Analysis Methodology Using Model Checking
18. Research On Software Safety Analysis Methodology Based On State/Event Fault Tree
19. Research On System Safety Design Verification Methodology Based On Alta Rica Model
20. The Research Of Automatic Verification For Security Protocol Based On Model Checking
  <<First  <Prev  Next>  Last>>  Jump to