Specification Theories for Probabilistic and Real-Time Systems

Uli Fahrenberg 1 Axel Legay 1 Louis-Marie Traonouez 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : We survey extensions of modal transition systems to specification theories for probabilistic and timed systems.
Type de document :
Communication dans un congrès
FPS@ETAPS, Apr 2014, Grenoble, France. 2014, 〈10.1007/978-3-642-54848-2_7〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01087364
Contributeur : Uli Fahrenberg <>
Soumis le : mardi 25 novembre 2014 - 21:46:41
Dernière modification le : mercredi 11 avril 2018 - 02:00:13
Document(s) archivé(s) le : jeudi 26 février 2015 - 12:31:02

Fichier

main2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

Uli Fahrenberg, Axel Legay, Louis-Marie Traonouez. Specification Theories for Probabilistic and Real-Time Systems. FPS@ETAPS, Apr 2014, Grenoble, France. 2014, 〈10.1007/978-3-642-54848-2_7〉. 〈hal-01087364〉

Partager

Métriques

Consultations de la notice

350

Téléchargements de fichiers

60