Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [24 references]  Display  Hide  Download
Contributor : Uli Fahrenberg Connect in order to contact the contributor
Submitted on : Thursday, November 27, 2014 - 10:53:17 AM
Last modification on : Thursday, January 20, 2022 - 5:33:08 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:20:32 AM


Files produced by the author(s)



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. pp.5 - 16, ⟨10.4204/EPTCS.87.2⟩. ⟨hal-01087988⟩



Record views


Files downloads