Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Göttingen: Cuvillier, 2014
Erschienen in:MBMV
Ruf, Jürgen
[HerausgeberIn]
;
Fachgruppe Methoden des Entwurfs und der Verifikation Digitaler Schaltungen und Systeme,
Fachgruppe Beschreibungssprachen und Modellierung von Schaltungen und Systemen,
Workshop Modellierung und Verifikation 2002 Tübingen
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Aachen: Shaker, 2002
Erschienen in:Berichte aus der Informatik
Brandt, Jens
[HerausgeberIn]
;
Technische Universität Kaiserslautern,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 15 2012 Kaiserslautern
Dietrich, Manfred
[HerausgeberIn]
;
Gesellschaft für Informatik,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 13 2010 Dresden
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Stuttgart: Fraunhofer Verl., 2010
Gremzow, Carsten
[HerausgeberIn]
;
Informationstechnische Gesellschaft,
Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen 12 2009 Berlin
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Berlin: Univ.-Verl. der TU, 2009
Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" 26. 2023 Freiburg im Breisgau,
Informationstechnische Gesellschaft,
Gesellschaft Mikroelektronik, Mikrosystem- und Feinwerktechnik