Font Size:
a
A
A
Keyword [formal methods]
Result: 21 - 40 | Page: 2 of 8
21.
Implementing A Graphical User Interface For An Automated Proof Tool For Message-Passing Concurrent System
22.
On Technology Of Model Checking Security Protocols
23.
A Heuristic Algorithm For Model-Checking Based On Counter Example Finding
24.
Formal Methods For Security Protocol Analysis And It's Application
25.
Research On Formal Analysis And Design Of Public Key Protocols
26.
Research On Formal Verification And Design Of Security Protocols
27.
An Extended Symbolic Model For Concurrent Value-passing Processes
28.
Research On Checking Security Protocols Technology Based On CPN Models
29.
Research On The Test Case Generation Method Based On UML Statecharts For Real-time Embedded Software
30.
Coalgebraic Theory And Its Applications On Formal Methods For Object-Oriented System
31.
Research On Formal Analysis Of Security Protocols
32.
Verification Of ATM Fabric's Behavior Using SPIN
33.
Aspect-Oriented Model For Real-Time Systems Based On UML And Formal Methods
34.
Research On The Software Architecture Description Combining Visual Methods And Formal Methods
35.
Software Modeling And Verification Based On Petri Net
36.
Formal Description And Verification Of SoC Based On Projection Temporal Logic
37.
Research On Automatic Generation Method Of Validation Test Case
38.
The Research For Formal Methods-based Design Of Real-time Systems And Aided Code Generation
39.
Formal Analysis Of UCard System
40.
Formal Analysis Of Security Protocols Based On Universally Composable Framework
<<First
<Prev
Next>
Last>>
Jump to
