Font Size:
a
A
A
Keyword [bisimulation]
Result: 41 - 55 | Page: 3 of 3
41.
Research On Refinement And Semantic Equivalence Of Process Net
42.
Research On Formal Verification Methods For Hybrid Systems Based On Combined Formal Specification
43.
Quantitative Verification Methodology On Internet-of-things Interactive System
44.
Research On Security Verification Method Of XML Query Based On Model Checking
45.
Research Of Fuzzy Rough Approximation Based On Bisimulation
46.
Comparison And Application Of Bisimulation Verification Algorithm
47.
A Choreography Projecting Method Based On Weak Bisimulation
48.
Sub Asynchronous Pi-calculus And Its Fully Abstract Encoding
49.
Supervisory control of discrete event systems for bisimulation or simulation equivalence
50.
Approximate Bisimulation For Polynomial Transition Systems Based On Symbolic-numeric Computation
51.
Research On Model Checking Methods For Some Fuzzy Measures
52.
Research On Approximate Bisimulations For Fuzzy Transition Systems
53.
Research On The Approximation Problem Of Fuzzy Language And Fuzzy Automata
54.
The Study Of Fuzzy Bisimulation Verification Algorithm
55.
Open Automata: Meta Extension And Weak Bisimulation Checking Algorithm
<<First
<Prev
Next>
Last>>
Jump to
