| 2004 |
|---|
| 4 | EE | Stephen Schmitt,
Wolfgang Rosenstiel:
Verification of a Microcontroller IP Core for System-on-a-Chip Designs Using Low-Cost Prototyping Environments.
DATE 2004: 96-101 |
| 1999 |
|---|
| 3 | | Stephen Schmitt,
Wolfgang Rosenstiel:
Der Einsatz von Jini für die Realisierung durchgängiger Steuerungskonzepte in verteilten eingebetteten Systemen.
Java-Informations-Tage 1999: 223-232 |
| 1997 |
|---|
| 2 | EE | Wolfgang Bibel,
Daniel S. Korn,
Christoph Kreitz,
F. Kurucz,
Jens Otten,
Stephen Schmitt,
G. Stolpmann:
A Multi-level Approach to Program Synthesis.
LOPSTR 1997: 1-27 |
| 1996 |
|---|
| 1 | | Wolfgang Bibel,
Daniel S. Korn,
Christoph Kreitz,
Stephen Schmitt:
Problem-Oriented Applications of Automated Theorem Proving.
DISCO 1996: 1-21 |
