BEGIN:VCALENDAR
VERSION:2.0
PRODID:https://github.com/derhansen/sf_event_mgt
METHOD:PUBLISH
BEGIN:VEVENT
UID:2090-4419@fg-rss-verify.gi.de
CLASS: PUBLIC
SUMMARY:Methoden und Beschreibungssprachen zur Modellierung und Verifikatio
 n von Schaltungen und Systemen
DESCRIPTION:Der 23. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein For
 um um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modell
 ierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sin
 d gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkomm
 en.\n\nInhaltlich konzentriert sich der Workshop auf die folgenden Themenge
 biete im Kontext der Modellierung und Verifikation von Systemen:\n\n 	Forma
 le, semi-formale und andere Mittel zur Spezifikation und Modellierung 	Stan
 dards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/So
 ftware-Systeme, Modellbasierte Entwicklung 	Verhaltensmodellierung, KI-basi
 erte Modelle, Modellverfeinerung 	Modelle und Methoden für die domänenüberg
 reifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber
 /Physisch 	Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spez
 ifikationen 	Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) 	Sc
 haltungen und Systeme in sicherheitsrelevanten Produkten 	Verifikation nich
 tfunktionaler Eigenschaften 	Simulationsbasierte Verifikation und Validieru
 ng 	Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datena
 nalyse \n\n 
LOCATION:Universität Stuttgart
DTSTAMP:20190926T105642Z
DTSTART:20200319T080000Z
DTEND:20200320T150000Z
END:VEVENT
END:VCALENDAR