Detlef Schmid

Publication Activity (10 Years)

Years Active: 1966-2006
Publications (10 Years): 0

Publications

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