Specification Theories for Probabilistic and Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

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.
Fichier principal
Vignette du fichier
main2.pdf (685.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01087364 , version 1 (25-11-2014)

Identifiants

Citer

Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez. Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS, Apr 2014, Grenoble, France. ⟨10.1007/978-3-642-54848-2_7⟩. ⟨hal-01087364⟩
228 Consultations
97 Téléchargements

Altmetric

Partager

More