default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4. MBMV 2001: Meißen, Germany
- Dieter Monjau:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Meißen, Germany, February 19-21, 2001. MoPress 2001
Volume 1
- Jörg Bormann:
Formale Verifikation wird zum Handwerk. MBMV (1) 2001: 9-10 - Jürgen Ruf:
Data Analysis of Timed Finite State Systems. MBMV (1) 2001: 11-20 - Andreas Hett, Bernd Becker:
Supervised Dynamic Recording in Model Checking. MBMV (1) 2001: 21-30 - Christoph Scholl, Bernd Becker:
Checking Equivalence for Partial Implementations. MBMV (1) 2001: 31-43 - Christoph Scholl, Marc Herbstritt, Bernd Becker:
Don't Care Minimization of BMDs: Complexity and Algorithms. MBMV (1) 2001: 45-57 - Wolfgang Ecker:
Hardware-basierter Hardware-Entwurf. MBMV (1) 2001: 59-61 - R. Peukert, Karsten Henke, Heinz-Dietrich Wuttke:
Verifikation im Experimentalsystem GIFT. MBMV (1) 2001: 63-72 - Marc Theisen, Burkart Voss, Manfred Glesner:
Transformierende Synthese zur Verlustleistungsreduktion mittels Partitionierung. MBMV (1) 2001: 73-81 - Uwe Hatnik, Jürgen Haufe, Peter Schwarz:
Objektorientierte Simulation von heterogenen Kommunikations-Systemen. MBMV (1) 2001: 83-91 - Wolfram Hardt, Thomas Lehmann, Markus Visarius:
Towards a Design Methodology Capturing Interface Synthesis. MBMV (1) 2001: 93-97 - Eike Grimpe, Frank Oppenheimer:
Objektorientierte Hardwarebeschreibung und -synthese aufbauend auf SystemC. MBMV (1) 2001: 99-108 - Rolf Drechsler:
GateComp: Equivalence Checking in CVE. MBMV (1) 2001: 109-110 - Ilia Polian, Wolfgang Günther, Bernd Becker:
Efficient Pattern-Based Verification of Connections to Intellectual Property Cores. MBMV (1) 2001: 111-120 - Roberto Ziller:
System Modeling Using Marker States in the RW-Framework. MBMV (1) 2001: 121-130 - Thomas Oberthür, Michael Bolle:
HiperSonicTM: A programmable solution for 5 GHz wireless networks. MBMV (1) 2001: 131-136
Volume 2
- Holger Schmitt:
High-Level Bewertung sequentieller Schaltungen. MBMV (2) 2001: 7-17 - Ingmar Neumann, Wolfgang Kunz:
Performance Optimization during Placement by Retiming. MBMV (2) 2001: 19-28 - Peter Schwarz:
Objektorientierte Modellbildung in Elektronik und Mikrosystemtechnik. MBMV (2) 2001: 29-38 - Wolfram Putzke-Röming:
Durchgängiges Kommunikationsdesign für den strukturalen, objektorientierten Hardwareentwurf. MBMV (2) 2001: 39-48 - Thorsten Hummel:
Der Einsatz von hybriden Petri-Netzen für den Entwurf gemischt analog-digitaler eingebetteter Systeme. MBMV (2) 2001: 49-58 - Reimund Wittmann, Thomas Rühle, Simone Schneiders, Ingo Könenkamp:
Effizientes Auswahlverfahren zum Auffinden parametrisierbarer Analogschaltungen in Repository-Werkzeugen. MBMV (2) 2001: 59-66 - Ralf Seepold:
Standardization of System-Level IP. MBMV (2) 2001: 67-74 - Dieter Monjau, Mathias Sporer, Tobias Weber:
Anwendung von UML zur Beschreibung von eingebetteten Systemen. MBMV (2) 2001: 75-86 - Marco Götze, Wolfram Kattanek:
Erfahrungen mit der UML beim Entwurf von Kfz-Steuerungen. MBMV (2) 2001: 87-98 - Holger Krisp, Christian Müller-Schloer:
Virtual Prototyping of Embedded Systems by High-Level Modeling and Simulation. MBMV (2) 2001: 99-106 - Christoph Grimm, Peter Oehler, Christian Meise, Klaus Waldschmidt, Wolfgang Fey:
Erstellung von C++-Modellen analoger Leistungselektronik zur schnellen Systemsimulation. MBMV (2) 2001: 107-117 - Gunter Lantzsch, André Schneider:
Internet-basierte Simulation unter Nutzung des HLA-Ansatzes. MBMV (2) 2001: 119-128
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-05-05 20:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
