Pages that link to "Item:Q1951603"
From MaRDI portal
The following pages link to Modal event-clock specifications for timed component-based design (Q1951603):
Displaying 7 items.
- General quantitative specification theories with modal transition systems (Q404008) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Event-driven temporal logic pattern for control software requirements specification (Q2145270) (← links)
- A linear-time-branching-time spectrum for behavioral specification theories (Q2291820) (← links)
- Refinement checking on parametric modal transition systems (Q2340259) (← links)
- A Linear-Time–Branching-Time Spectrum of Behavioral Specification Theories (Q2971124) (← links)
- Refinement and Consistency of Timed Modal Specifications (Q3618577) (← links)