Counter Automata for Parameterised Timing Analysis of Box-Based Systems
Attributed to:
Adaptive Hardware Systems with Novel Algorithmic Design and Guaranteed Resource Bounds
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-642-32495-6_8
Publication URI: http://dx.doi.org/10.1007/978-3-642-32495-6_8
Type: Book Chapter
Book Title: Foundational and Practical Aspects of Resource Analysis (2012)
Page Reference: 126-141
ISBN: 978-3-642-32494-9
ISSN: 2095-221X