Parametric and Quantitative Extensions of Modal Transition Systems
- Fahrenberg, Uli
- Larsen, Kim Guldstrand
- Legay, Axel
- Traonouez, Louis-Marie
Publication date
April 2014
DOI Publisher
Springer Science and Business Media LLCAbstract
International audienceModal transition systems provide a behavioral and compositional specification formalism for reactive systems. We survey two extensions of modal transition systems: parametric modal transition systems for specifications with parameters, and weighted modal transition systems for quantitative specifications
Add to ORKG