Karen Godary

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2004

2 Karen Godary, Isabelle Augé-Blum, Anne Mignotte: Temporal Bounds for TTA: Validation. DIPES 2004: 73-82

1 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

	2004
2		Karen Godary, Isabelle Augé-Blum, Anne Mignotte: Temporal Bounds for TTA: Validation. DIPES 2004: 73-82
1		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

Coauthor Index