A Robust Specification Theory for Modal Event-Clock Automata - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

A Robust Specification Theory for Modal Event-Clock Automata

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.
Fichier principal
Vignette du fichier
fit.pdf (265.64 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01087988 , version 1 (27-11-2014)

Identifiers

Cite

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⟩
394 View
75 Download

Altmetric

Share

Gmail Facebook X LinkedIn More