C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
MBMV (1)
2001
2001
2001
Keyphrases
Publications
2001
Christoph Scholl
,
Bernd Becker
Checking Equivalence for Partial Implementations.
MBMV (1)
(2001)
Marc Theisen
,
Burkart Voss
,
Manfred Glesner
Transformierende Synthese zur Verlustleistungsreduktion mittels Partitionierung.
MBMV (1)
(2001)
Uwe Hatnik
,
Jürgen Haufe
,
Peter Schwarz
Objektorientierte Simulation von heterogenen Kommunikations-Systemen.
MBMV (1)
(2001)
Wolfram Hardt
,
Thomas Lehmann
,
Markus Visarius
Towards a Design Methodology Capturing Interface Synthesis.
MBMV (1)
(2001)
Andreas Hett
,
Bernd Becker
Supervised Dynamic Recording in Model Checking.
MBMV (1)
(2001)
Jörg Bormann
Formale Verifikation wird zum Handwerk.
MBMV (1)
(2001)
Wolfgang Ecker
Hardware-basierter Hardware-Entwurf.
MBMV (1)
(2001)
Christoph Scholl
,
Marc Herbstritt
,
Bernd Becker
Don't Care Minimization of BMDs: Complexity and Algorithms.
MBMV (1)
(2001)
Rolf Drechsler
GateComp: Equivalence Checking in CVE.
MBMV (1)
(2001)
Jürgen Ruf
Data Analysis of Timed Finite State Systems.
MBMV (1)
(2001)
R. Peukert
,
Karsten Henke
,
Heinz-Dietrich Wuttke
Verifikation im Experimentalsystem GIFT.
MBMV (1)
(2001)
Roberto Ziller
System Modeling Using Marker States in the RW-Framework.
MBMV (1)
(2001)
Thomas Oberthür
,
Michael Bolle
: A programmable solution for 5 GHz wireless networks.
MBMV (1)
(2001)
Eike Grimpe
,
Frank Oppenheimer
Objektorientierte Hardwarebeschreibung und -synthese aufbauend auf SystemC.
MBMV (1)
(2001)
Ilia Polian
,
Wolfgang Günther
,
Bernd Becker
Efficient Pattern-Based Verification of Connections to Intellectual Property Cores.
MBMV (1)
(2001)