Detlef Schmid

12 papers B 1Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2006 — conf
Erstellung korrekter Spezifikationen für diskrete Systeme.
MBMV
Roberto M. Ziller, Detlef Schmid
2000 J jnl
. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-Forschung.
Inform. Spektrum
Detlef Schmid, Manfred Broy
1999 J jnl
Formale Verifikation eingebetteter Systeme.
Informationstechnik Tech. Inform.
Detlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld
1999 J jnl
On the efficiency of formal synthesis-experimental results.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
1997 — conf
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.
GI Jahrestagung
Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt
1997 J jnl
DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter Systeme.
Inform. Forsch. Entwickl.
Kurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt
1996 B conf
Formal Synthesis in Circuit Design - A Classification and Survey.
FMCAD
Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid
1984 — conf
Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen der Schaltungsfunktion.
GI Jahrestagung
Detlef Schmid, Raul Camposano, Wolfgang Rosenstiel
1979 J jnl
Vergleich und Bewertung einiger Registertransfersprachen.
Elektron. Rechenanlagen
Detlef Schmid, Thomas Schmitt
1978 J jnl
Beschreibung einiger Registertransfersprachen.
Elektron. Rechenanlagen
Detlef Schmid, Thomas Schmitt
1972 — conf
Einige Untersuchungen zur Hardware-Realisierung von Software-Operatoren.
GI Jahrestagung
Detlef Schmid
1966 J jnl
Zeitvergleiche zwischen Lernmatrixschaltungen und funktionell gleichwertigen Simulationsprogrammen.
Elektron. Rechenanlagen
Detlef Schmid, Gerhard Schulze