The following pages link to Simulation distances (Q764284):
Displaying 17 items.
- A multiple-valued logic approach to the design and verification of hardware circuits (Q266875) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Interface simulation distances (Q477211) (← links)
- Quantitative fair simulation games (Q528184) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- Strategy synthesis for multi-dimensional quantitative objectives (Q2249657) (← links)
- Model measuring for discrete and hybrid systems (Q2374564) (← links)
- The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
- Introduction to Model Checking (Q3176359) (← links)
- (Q5094149) (← links)
- (Q5101352) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
