![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Methods 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]
![](https://dblp.org/img/cog.dark.24x24.png)
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.