Pages that link to "Item:Q3525632"
From MaRDI portal
The following pages link to On Modal Refinement and Consistency (Q3525632):
Displaying 14 items.
- Interface theories for concurrency and data (Q549177) (← links)
- Safe reasoning with logic LTS (Q549200) (← links)
- Constraint Markov chains (Q554215) (← links)
- On the consistency, expressiveness, and precision of partial modeling formalisms (Q617712) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- A Modal Interface Theory with Data Constraints (Q2999311) (← links)
- Refinement and Consistency of Timed Modal Specifications (Q3618577) (← links)
- EXPTIME-complete Decision Problems for Modal and Mixed Specifications (Q5170664) (← links)
- Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
- Complexity of Decision Problems for Mixed and Modal Specifications (Q5458354) (← links)
- Simulation relations and applications in formal methods (Q6113980) (← links)
- Coherent modal transition systems refinement (Q6197588) (← links)