A Robust Specification Theory for Modal Event-Clock Automata
Logic in Computer Science
2012-07-19 v1 Formal Languages and Automata Theory
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.
Keywords
Cite
@article{arxiv.1207.4268,
title = {A Robust Specification Theory for Modal Event-Clock Automata},
author = {Uli Fahrenberg and Axel Legay},
journal= {arXiv preprint arXiv:1207.4268},
year = {2012}
}
Comments
In Proceedings FIT 2012, arXiv:1207.3485