Specification Theories for Probabilistic and Real-Time Systems
Résumé
We survey extensions of modal transition systems to specification theories for probabilistic and timed systems.
Origine | Fichiers produits par l'(les) auteur(s) |
---|