SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive.

Karen Godary Isabelle Augé-Blum Anne Mignotte

Published in: FDL (2004)

Keyphrases

timed petri nets

model checking

discrete event systems

fuzzy logic