A Robust Specification Theory for Modal Event-Clock Automata

Fahrenberg, Uli;Legay, Axel
(2012) FIT 2012 - 4th International Workshop on Foundations of Interface Technologies (25.March.2012)

Files

No attached file found for this publication.

Details

Authors
  • Fahrenberg, Uli
    Author
  • Legay, AxelUCLouvain
    Author
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.

Citations

  • APA
  • Chicago
  • FWB

Fahrenberg, U., & Legay, A. (2012). A Robust Specification Theory for Modal Event-Clock Automata. Electronic Proceedings in Theoretical Computer Science. FIT 2012 - 4th International Workshop on Foundations of Interface Technologies. https://doi.org/10.4204/EPTCS.87.2