Font Size:
a
A
A
Keyword [transition systems]
Result: 1 - 14 | Page: 1 of 1
1.
Research On Refusal Testing Of Multi Input/Output Transition Systems Using The All-Observer
2.
Lattice-valued Quantitative Verification Of State Transition Systems
3.
Hybrid System Verification Using Reachable Set Over Approximations
4.
Formal Modeling And Verification Of Real-time Systems Based On Time Automation
5.
Trace-based Merging Of Partial Beahavioral Models
6.
Based On Timed Automata, Real-time System Specification Validation Study
7.
Merging Research On Partial Behavioral Models
8.
Research On Label-Structured Transition Systems Based On Institution
9.
Research On Safety Property Verification For Infinite-State Systems
10.
Research On Safety Properties Of Metric Transition Systems
11.
Abstraction for verification and refutation in model checking
12.
Discovering invariants in the analysis and verification of finite state transition systems
13.
Approximate Bisimulation For Polynomial Transition Systems Based On Symbolic-numeric Computation
14.
Research On Approximate Bisimulations For Fuzzy Transition Systems
<<First
<Prev Next>
Last>>
Jump to
