Counter Automata for Parameterised Timing Analysis of Box-Based Systems.

Christoph A. Herrmann Kevin Hammond

Published in: FOPARA (2011)

Keyphrases

neural network
expert systems
website
distributed systems
intelligent systems
information retrieval
metadata
building blocks
complex systems
finite state machines
systems require