Detlef Schmid - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 12 from 12

2006

Erstellung korrekter Spezifikationen für diskrete SystemeRoberto M. Ziller, Detlef Schmid. mbmv 2006: 359-368

2000

. . . noch nicht zu spät! Das Walberberg-Memorandum zur Förderung der IT-ForschungDetlef Schmid, Manfred Broy. insk, 23(2):109-117, 2000. [doi]

1999

On the efficiency of formal synthesis-experimental resultsChristian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid. tcad, 18(1):25-32, 1999. [doi]

Formale Verifikation eingebetteter SystemeDetlef Schmid, Klaus Schneider, Michaela Huhn, George Logothetis, Viktor K. Sabelfeld. it, 41(2):12-16, 1999. [doi]

1997

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter SystemeKurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt. ife, 12(4):220-223, 1997.

DFG-Schwerpunktprogramm: Entwurf und Entwurfsmethodik eingebetteter SystemeKurt Antreich, Franz J. Rammig, Wolfgang Rosenstiel, Detlef Schmid, Klaus Waldschmidt. gi 1997: 93-101

1996

Formal Synthesis in Circuit Design - A Classification and SurveyRamayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid. FMCAD 1996: 294-309

1984

Automatischer Entwurf hochintegrierter Schaltungen aus Beschreibungen der SchaltungsfunktionDetlef Schmid, Raul Camposano, Wolfgang Rosenstiel. gi 1984: 391-406

1979

Vergleich und Bewertung einiger RegistertransfersprachenDetlef Schmid, Thomas Schmitt. it, 21(1):7-12, 1979.

1978

Beschreibung einiger RegistertransfersprachenDetlef Schmid, Thomas Schmitt. it, 20(6):269-277, 1978.

1972

Einige Untersuchungen zur Hardware-Realisierung von Software-OperatorenDetlef Schmid. gi 1973: 360-369 [doi]

1966

Zeitvergleiche zwischen Lernmatrixschaltungen und funktionell gleichwertigen SimulationsprogrammenDetlef Schmid, Gerhard Schulze. it, 8(5):232-237, 1966.

Sign in or sign up to see more results.

runs on WebDSL