20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”

8. - 9. Februar 2017, Haus der Wissenschaft, Bremen

HOME | PROGRAMM | ANMELDUNG | EINREICHUNG | TAGUNGSORT | PROGRAMMKOMITEE | KONTAKT


Einreichung

Die Autoren werden gebeten, ihre bis jetzt unveröffentlichten Beiträge im Umfang von bis zu 10 Seiten (DIN A4, einspaltig, 12pt Times) oder bereits veröffentlichte Beiträge als einseitige Zusammenfassung (DIN A4, einspaltig, 12pt Times) als PDF-Datei, in der ggf. die Originalpublikation referenziert ist, über

https://easychair.org/conferences/?conf=mbmv2017

einzureichen.

Das Programmkomitee begutachtet und kommentiert alle Einreichungen. Angenommene unveröffentlichte Beiträge werden komplett, bereits veröffentlichte Beiträge in Form eines Extended Abstracts in einem Tagungsband mit ISBN veröffentlicht. Bitte verwenden Sie für die Ausfertigung Ihres Beitrags diese LaTeX-Vorlage.

« zurück