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

https://hal.inria.fr/hal-01087988
Contributor : Uli Fahrenberg <>
Submitted on : Thursday, November 27, 2014 - 10:53:17 AM
Last modification on : Tuesday, June 15, 2021 - 4:26:21 PM
Long-term archiving on: : Monday, March 2, 2015 - 9:20:32 AM

File

fit.pdf
Files produced by the author(s)

Identifiers

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

Share

Metrics

Record views

679

Files downloads

225