Specification Theories for Probabilistic and Real-Time Systems - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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.

Domaines

Informatique [cs] Théorie et langage formel [cs.FL]
Fichier principal
Vignette du fichier
main2.pdf (685.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Uli Fahrenberg  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01087364

Soumis le : mardi 25 novembre 2014-21:46:41

Dernière modification le : vendredi 24 mars 2023-14:52:59

Archivage à long terme le : jeudi 26 février 2015-12:31:02

Télécharger pour visualiser

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM
223 Consultations
92 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More