The following pages link to (Q3396636):
Displayed 18 items.
- Consistency and refinement for interval Markov chains (Q444461) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- Refinement modal logic (Q476194) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Counterexample-guided inductive synthesis for probabilistic systems (Q1982641) (← links)
- Weighted modal transition systems (Q2248057) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- On the Complexity of Semantic Self-minimization (Q2810966) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Model Checking Value-Passing Modal Specifications (Q3455083) (← links)
- k-Bounded Petri Net Synthesis from Modal Transition Systems. (Q5111618) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- From EU Projects to a Family of Model Checkers (Q5256356) (← links)
- Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (Q5963087) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)