Searching for authors named "Detlef Schmid" – sorted by Relevance.
-
Formal Synthesis in Circuit Design - A Classification and Survey
- Blumenrhr 2 Dirk Eisenbiegler 2 and Detlef Schmid 1, 2 1 Forschungszentrum Informatik, Department
- Cited by 10 (2 self) – Add To MetaCart
-
Formale Verifikation eingebetteter Systeme
- Formale Verifikation eingebetteter Systeme Detlef Schmid, Klaus Schneider, Michaela Huhn, George
- Cited by 1 (1 self) – Add To MetaCart

