A Robust Specification Theory for Modal Event-Clock Automata

Uli Fahrenberg Axel Legay

Published in: FIT (2012)

Keyphrases

formal languages
high level
cellular automata
high speed
power consumption
information theory
database
robust estimation
real time
modal logic
formal methods