Verifikation von Networked Labs-on-Chip Architekturen

Andreas Grimmer (Vortragende*r)
Haselmayr, W. (Vortragende*r)
Springer, A. (Vortragende*r)
Robert Wille (Vortragende*r)

Abteilung für Quantum Computing

Aktivität: Vortrag oder Präsentation › Vortrag nach Bewerbung und Auswahl › Science-to-science

Zeitraum	09 Feb. 2017
Ereignistitel	20. Workshop „Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
Veranstaltungstyp	Konferenz
Ort	DeutschlandAuf Karte anzeigen

Wissenschaftszweige

202 Elektrotechnik, Elektronik, Informationstechnik
102 Informatik

JKU-Schwerpunkte

Computation in Informatics and Mathematics
Nano-, Bio- and Polymer-Systems: From Structure to Function
Mechatronics and Information Processing

Dokumente & Verweise

http://www.informatik.uni-bremen.de/mbmv2017/programm.php