2004 | ||
---|---|---|
2 | Karen Godary, Isabelle Augé-Blum, Anne Mignotte: Temporal Bounds for TTA: Validation. DIPES 2004: 73-82 | |
1 | EE | Karen Godary, Isabelle Augé-Blum, Anne Mignotte: SDL and Timed Petri Nets versus UPPAAL for the validation of embedded architecture in automotive. FDL 2004: 672-684 |
1 | Isabelle Augé-Blum | [1] [2] |
2 | Anne Mignotte | [1] [2] |