Title :
Table of contents
Abstract :
The following topics are dealt with: model checking; timing analysis; programming; timed automata; and embedded systems.
Keywords :
automata theory; embedded systems; formal verification; programming; embedded systems; model checking; programming; timed automata; timing analysis;
Conference_Titel :
Application of Concurrency to System Design (ACSD), 2013 13th International Conference on
Conference_Location :
Barcelona
DOI :
10.1109/ACSD.2013.1
