Font Size:
a
A
A
Keyword [formal methods]
Result: 41 - 60 | Page: 3 of 8
41.
Research On Tool Of Generating Test Cases Automatically From Model On Requirement
42.
A Formal Analysis Method And Its Application Based On UML Requirement Modeling
43.
The Design And Implementation Of An Automated Model Checking Oriented Model Extractor
44.
A Calculus Of Web Services Choreography
45.
The Research Of Automatic Validation Algorithm For Security Protocols Based On Formal Methods
46.
Research And Application On Formal Analysis Of Security Protocol Of Mobile Ad Hoc Network
47.
Research Of Software Slicing Technology In Specific Area Environment
48.
The Research About Dynamic Upgrading Of Pervasive Services In Formal Methods
49.
The Research Of Business Process Analysis Technology Based On Sofl
50.
Analysis And Verification Of Security Protocols Based On Visual Methods And Formal Methods
51.
Modeling And Analysis Of Few Concurrent Problems Based On Petri Nets
52.
Aspect-Oriented Formal Method Of Real-Time System In Cyber Physical Systems
53.
Simulation And Analysis Of Schedule Strategy Of Reconfigrable HW System
54.
The Conformance And Performance Test Of Real-time Transport Protocol Based On Formal Methods
55.
A Design And Implementation Of Ic Card Management System For Expressway Network Tolling
56.
Simulation And Analysis Of Schedule Strategy Of Reconfigrable Hw System
57.
Design Methods, Component-based Stepwise Refinement Process
58.
For Multi-agent Design And Analysis Of Formal Methods
59.
Security Protocol Analysis Method Of Comparison And Research
60.
Multi-viewpoint Requirements Engineering, Formal Methods Research
<<First
<Prev
Next>
Last>>
Jump to
