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

Karen Godary-Dejean, Isabelle Aug-Blum, Anne Mignotte

Browse the full FDL paper archive.