Timed automata based analysis of embedded system architectures

Martijn Hendriks, Marcel Verhoef. Timed automata based analysis of embedded system architectures. In 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece. IEEE, 2006. [doi]

Abstract

Abstract is missing.