Pages that link to "Item:Q884763"
From MaRDI portal
The following pages link to Modal specifications for the control theory of discrete event systems (Q884763):
Displayed 9 items.
- Refinement modal logic (Q476194) (← links)
- Parametrized automata simulation and application to service composition (Q485834) (← links)
- Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects (Q633299) (← links)
- Compositionality for quantitative specifications (Q1797783) (← links)
- Modal event-clock specifications for timed component-based design (Q1951603) (← links)
- Natural projection as partial model checking (Q2208303) (← links)
- Enforcing opacity of regular predicates on modal transition systems (Q2348369) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- (Q5114827) (← links)