Font Size:
a
A
A
Keyword [refinement checking]
Result: 1 - 6 | Page: 1 of 1
1.
Research On Automata-based Efficient Model Checking Algorithms
2.
Compositional Verification Based On Interface Automata
3.
Research On Verification Of Web Service Composition Based On XYZ/ADL
4.
Research On Formal Verification Methods For Hybrid Systems Based On Combined Formal Specification
5.
Hierarchical reduction and refinement checking for asynchronous processes
6.
New directions in refinement checking
<<First
<Prev Next>
Last>>
Jump to