Formal verification of multitasking applications based on timed automata model.

Libor Waszniowski Zdenek Hanzálek

Published in: Real Time Syst. (2008)

Keyphrases

statistical model
computational model
mathematical model
probabilistic model
prior knowledge
software engineering
domain independent
timed automata