Karen Godary

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Karen Godary, Isabelle Augé-Blum, Anne Mignotte
Temporal Bounds for TTA: Validation. DIPES (2004)
Karen Godary, Isabelle Augé-Blum, Anne Mignotte
SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. FDL (2004)