A Robust Specification Theory for Modal Event-Clock Automata

Uli Fahrenberg 1 Axel Legay 1
1 ESTASYS - Efficient STAtistical methods in SYstems of systems
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : In a series of recent work, we have introduced a general framework for quantitative reasoning in specification theories. The contribution of this paper is to show how this framework can be applied to yield a robust specification theory for timed specifications.
Type de document :
Communication dans un congrès
FIT 2012 - 4th International Workshop on Foundations of Interface Technologies, Mar 2012, Tallinn, Estonia. 87, pp.5 - 16, 2012, 〈10.4204/EPTCS.87.2〉
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01087988
Contributeur : Uli Fahrenberg <>
Soumis le : jeudi 27 novembre 2014 - 10:53:17
Dernière modification le : mercredi 16 mai 2018 - 11:24:07
Document(s) archivé(s) le : lundi 2 mars 2015 - 09:20:32

Fichier

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

Identifiants

Citation

Uli Fahrenberg, Axel Legay. A Robust Specification Theory for Modal Event-Clock Automata. FIT 2012 - 4th International Workshop on Foundations of Interface Technologies, Mar 2012, Tallinn, Estonia. 87, pp.5 - 16, 2012, 〈10.4204/EPTCS.87.2〉. 〈hal-01087988〉

Partager

Métriques

Consultations de la notice

428

Téléchargements de fichiers

55