A Robust Specification Theory for Modal Event-Clock Automata

A Robust Specification Theory for Modal Event-Clock Automata

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.

Bibliographic Details
Main Authors: Uli Fahrenberg, Axel Legay
Format: Article
Language:English
Published: Open Publishing Association 2012-07-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1207.4268v1
id doaj-b79e82548f6e405d880723ad2f90bf1f
record_format Article
spelling doaj-b79e82548f6e405d880723ad2f90bf1f2020-11-25T00:20:01ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802012-07-0187Proc. FIT 201251610.4204/EPTCS.87.2A Robust Specification Theory for Modal Event-Clock AutomataUli FahrenbergAxel LegayIn 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. http://arxiv.org/pdf/1207.4268v1
collection DOAJ
language English
format Article
sources DOAJ
author Uli Fahrenberg
Axel Legay
spellingShingle Uli Fahrenberg
Axel Legay
A Robust Specification Theory for Modal Event-Clock Automata
Electronic Proceedings in Theoretical Computer Science
author_facet Uli Fahrenberg
Axel Legay
author_sort Uli Fahrenberg
title A Robust Specification Theory for Modal Event-Clock Automata
title_short A Robust Specification Theory for Modal Event-Clock Automata
title_full A Robust Specification Theory for Modal Event-Clock Automata
title_fullStr A Robust Specification Theory for Modal Event-Clock Automata
title_full_unstemmed A Robust Specification Theory for Modal Event-Clock Automata
title_sort robust specification theory for modal event-clock automata
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2012-07-01
description 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.
url http://arxiv.org/pdf/1207.4268v1
work_keys_str_mv AT ulifahrenberg arobustspecificationtheoryformodaleventclockautomata
AT axellegay arobustspecificationtheoryformodaleventclockautomata
AT ulifahrenberg robustspecificationtheoryformodaleventclockautomata
AT axellegay robustspecificationtheoryformodaleventclockautomata
_version_ 1725369344566755328

Similar Items