Parametric and Quantitative Extensions of Modal Transition Systems
Résumé
Modal 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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...