Pages that link to "Item:Q3618577"
From MaRDI portal
The following pages link to Refinement and Consistency of Timed Modal Specifications (Q3618577):
Displaying 8 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Modal transition systems with weight intervals (Q444490) (← links)
- Constraint Markov chains (Q554215) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- EXPTIME-completeness of thorough refinement on modal transition systems (Q690504) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)