Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMethods and Description Languages for Modelling and Verification of Circuits and Systems (MBMV)
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
27th MBMV 2024: Kaiserslautern, Germany
26th MBMV 2023: Freiburg, Germany
- Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2023, 26th Workshop, Freiburg, Germany, 23-24 March 2023. VDE/IEEE 2023, ISBN 978-3-8007-6065-7 [contents]
25th MBMV 2022: Virtual Event, Germany
- Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2022, 25th Workshop, Virtual Event, Germany, February 17-18, 2022. VDE/IEEE 2022, ISBN 978-3-8007-5754-1 [contents]
24th MBMV 2021: Virtual Event, Germany
- Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2021, 24th Workshop, Virtual Event, Germany, March 18-19, 2021. VDE/IEEE 2021, ISBN 978-3-8007-5500-4 [contents]
23rd MBMV 2020: Stuttgart, Germany
- 23rd GMM/ITG/GI Workshop on Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2020, Stuttgart, Germany, March 19-20, 2020. VDE / IEEE 2020, ISBN 978-3-8007-5220-1 [contents]
22nd MBMV 2019: Kaiserslautern, Germany
- 22nd Workshop Methods and Description Languages for Modelling and Verification of Circuits and Systems, MBMV 2019, Kaiserslautern, Germany, March 8-9, 2019. VDE Verlag 2019, ISBN 978-3-8007-4945-4 [contents]
21. MBMV 2018: Tübingen, Germany
- Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2018, Tübingen, Germany, February 8-9, 2018. Universität Tübingen 2018, ISBN 978-3-00-059317-8 [contents]
20. MBMV 2017: Bremen, Germany
- Daniel Große, Rolf Drechsler:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2017, Bremen, Germany, February 8-9, 2017. Shaker Verlag 2017, ISBN 978-3-8440-4996-1 [contents]
19. MBMV 2016: Freiburg im Breisgau, Germany
- Ralf Wimmer:
19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2016, Freiburg im Breisgau, Germany, March 1-2, 2016. Albert-Ludwigs-Universität Freiburg 2016, ISBN 978-3-00-052380-9 [contents]
18. MBMV 2015: Chemnitz, Germany
- Ulrich Heinkel, Daniel Kriesten, Marko Rößler:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2015, Chemnitz, Germany, March 3-4, 2015. Sächsische Landesbibliothek 2015, ISBN 978-3-00-048889-4 [contents]
17. MBMV 2014: Böblingen, Germany
- Jürgen Ruf, Dirk Allmendinger, Matteo Michel:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, MBMV 2014, Böblingen, Germany. Cuvillier 2014 [contents]
16. MBMV 2013: Warnemünde, Germany
- Christian Haubelt, Dirk Timmermann:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Warnemünde, Germany, March 12-14, 2013. Institut für Angewandte Mikroelektronik und Datentechnik, Fakultät für Informatik und Elektrotechnik, Universität Rostock 2013, ISBN 978-3-86009-147-0 [contents]
15. MBMV 2012: Kaiserslautern, Germany
- Jens Brandt, Klaus Schneider:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, March 5-7, 2012. Forschungsergebnisse zur Informatik 68, Verlag Dr. Kovac 2012, ISBN 978-3-8300-6201-1 [contents]
14. MBMV 2011: Oldenburg, Germany
- Frank Oppenheimer:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Oldenburg, Germany, February 21-23, 2011. OFFIS-Institut für Informatik 2011 [contents]
13. MBMV 2010: Dresden, Germany
- Manfred Dietrich:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 22-24, 2010. Fraunhofer Verlag 2010 [contents]
12. MBMV 2009: Berlin, Germany
- Carsten Gremzow, Nico Moser:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Berlin, Germany, March 2-4, 2009. Universitätsbibliothek Berlin, Germany 2009 [contents]
11. MBMV 2008: Freiburg, Germany
- Christoph Scholl, Stefan Disch:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. Shaker 2008 [contents]
10. MBMV 2007: Erlangen, Germany
- Christian Haubelt, Jürgen Teich:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. Berichte aus der Informatik, Shaker 2007, ISBN 978-3-8322-5956-3 [contents]
9. MBMV 2006: Dresden, Germany
- Bernd Straube, Martin Freibothe:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Dresden, Germany, February 20-22, 2006. Fraunhofer Institut für Integrierte Schaltungen 2006 [contents]
8. MBMV 2005: Munich, Germany
April 5-7, 2005, no proceedings available
7. MBMV 2004: Kaiserslautern, Germany
- Dominik Stoffel, Wolfgang Kunz:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Kaiserslautern, Germany, February 24-25, 2004. Shaker 2004 [contents]
6. MBMV 2003: Bremen, Germany
- Rolf Drechsler:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Bremen, Germany, February 24-25, 2003. Shaker 2003 [contents]
5. MBMV 2002: Tübingen, Germany
- Jürgen Ruf:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Tübingen, Germany, February 25-27, 2002. Shaker 2002 [contents]
4. 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 [contents]
3. MBMV 2000: Frankfurt, Germany
- Klaus Waldschmidt, Christoph Grimm:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Frankfurt, Germany, February 28 - March 1, 2000. VDE 2000 [contents]
2. MBMV 1999: Braunschweig, Germany
- Matthias Mutz, Nikolaus Lange:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. Shaker 1999 [contents]
1. MBMV 1998: Paderborn, Germany
- Franz-Josef Rammig, Wolfgang Müller:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Paderborn, Germany, March 9-11, 1998. HNI-Verlagsschriften 1998 [contents]
a service of 
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 2024-04-18 21:23 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:
