7. MBMV 2004:
Kaiserslautern, Germany Dominik Stoffel , Wolfgang Kunz (Eds.):
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004.
Shaker 2004
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/mbmv/KretzschmarSM04 export record as
dblp key:
Georg Pelz :
Entwurfs-Methodik für Automobil-Elektronik.
53-53
export record as
dblp key:
export record as
dblp key:
conf/mbmv/BeckerBEFHHHKNPW04 Bernd Becker ,
Markus Behle ,
Friedrich Eisenbrand ,
Martin Fränzle ,
Marc Herbstritt ,
Christian Herde ,
Jörg Hoffmann ,
Daniel Kröning ,
Bernhard Nebel ,
Ilia Polian ,
Ralf Wimmer :
Bounded Model Checking and Inductive Verification of Hybrid Discrete-continuous Systems.
65-75
export record as
dblp key:
Joachim Horch :
Automatisches Verstärken und Beweisen von Invarianten mit Hilfe von Gegenbeispielen.
76-85
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Jan Gutsche ,
Hans-Ulrich Post :
Erhöhung der Synthesegenauigkeit durch Sprachraumerweiterung synthesefähiger sequentieller VHDL-Beschreibungen.
137-146
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/mbmv/DuridanovaHFF04 export record as
dblp key:
Meinrad Fiedler :
Ein Ubersetzungsverfahren von Verilog-Kausalspezifikationen in Signalflankengraph-basierte Spezifikationen zum Entwurf asynchroner Schaltwerke.
194-203
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Stefan Höreth :
Debugging and Diagnosis in Equivalence Checking of ASICs.
232-232
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/mbmv/PeranandamWRK04 export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
