dblp.uni-trier.dewww.uni-trier.de

Karen Godary

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

1Isabelle Augé-Blum [1] [2]
2Anne Mignotte [1] [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)