BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:3188-4419@fg-rss-verify.gi.de
CLASS: PUBLIC
SUMMARY:Methoden und Beschreibungssprachen zur Modellierung und Verifikatio
 n von Schaltungen und Systemen
DESCRIPTION:Der Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum u
 m neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellieru
 ng und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gl
 eichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. 
 \n\nInhaltlich konzentriert sich der Workshop auf die folgenden Themengebie
 te im Kontext der Modellierung und Verifikation von Systemen:\n\n 	Formale,
  semi-formale und andere Mittel zur Spezifikation und Modellierung 	Standar
 ds und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Softw
 are-Systeme, Modellbasierte Entwicklung 	Verhaltensmodellierung, Modell-Ler
 nen, Modellverfeinerung 	Modelle und Methoden für die domänenübergreifende 
 Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch
  	Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikation
 en 	Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) 	Schaltungen
  und Systeme in sicherheitsrelevanten Produkten 	Verifikation nichtfunktion
 aler Eigenschaften 	Simulationsbasierte Verifikation und Validierung 	Digit
 alisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse \n
 \nSelbstverständlich sind auch Beiträge zu weiteren Themengebieten der Mode
 llierung und Verifikation erwünscht.\n\nDer Workshop Methoden und Beschreib
 ungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
  (MBMV) ist der gemeinsame Workshop von:\n\n 	VDE-Fachbereich 6: Mikroelekt
 ronik, Mikro- und Feinwerktechnik (GMM) 	GI-Fachgruppe 3: Methoden des Entw
 urfs und der Verifikation digitaler Schaltungen und Systeme (RSS-Verify) 	G
 I-Fachgruppe 4: Beschreibungssprachen und Modellierung von Schaltungen und 
 Systemen (RSS-Model) 	ITG-Fachausschuss 8.2 (Mikroelektronik) \n\n  
LOCATION:TU Kaiserslautern
DTSTAMP:20190926T102442Z
DTSTART:20190408T070000Z
DTEND:20190409T140000Z
END:VEVENT
END:VCALENDAR