Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Long description: Der 24. Workshop der GMM/ITG/GI-Fachgruppen 3 und 4 ist ein Forum, um neue Trends, Ergebnisse und aktuelle Fragen auf dem Gebiet der Modellierung und Verifikation von Schaltungen und Systemen zu diskutieren. Es sind gleichermaßen Beiträge aus Forschung und industrieller Anwendung willkommen. Inhaltlich konzentriert sich der Workshop auf die folgenden Themengebiete im Kontext der Modellierung und Verifikation von Systemen: • Formale, semi-formale und andere Mittel zur Spezifikation und Modellierung • Standards und Erweiterungen von Modellierungssprachen für Hardware, Hardware/Software-Systeme, Modellbasierte Entwicklung • Verhaltensmodellierung, KI-basierte Modelle, Modellverfeinerung • Modelle und Methoden für die domänenübergreifende Entwicklung: Analog/Digital, Hardware/Software, Mechatronik, Cyber/Physisch • Synthese und formale Synthese, Eigenschaftsverfeinerung aus Spezifikationen • Formale Verifikation (Äquivalenz- und Eigenschaftsbeweise) • Schaltungen und Systeme in sicherheitsrelevanten Produkten • Verifikation nichtfunktionaler Eigenschaften • Simulationsbasierte Verifikation und Validierung • Digitalisierung der Entwicklung z.B. durch Machine Learning oder Datenanalyse • Special Focus Topic MBMV2021: Open Source Werkzeuge zur Modellierung und Verifikation von Schaltungen und Systemen

Optimierung --- Modellierung --- Simulation --- Machine Learning --- Echtzeitsysteme --- Synthese --- Schaltungen und Systeme --- Formale Verifikation --- KI-basierte Modelle --- Modellierungssprache --- Verhaltensmodellierung --- sicherheitsrelevante Produkte --- Learning, Machine --- Artificial intelligence --- Machine theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

"Collaboration, Narrative, and Inquiry that Honor the Complexity of Teacher Education presents a narrative exploration of three teacher educators' collaborative and transnational inquiry into their practices. Through carefully selected narratives, the authors describe how they enacted a practice-based approach in their teacher education courses. The authors present challenges and complexities they encountered as teacher educators in trying to prepare preservice teacher candidates for the realities of the classroom"--

Teachers --- Education --- Training of. --- Study and teaching (Higher)

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Human biochemistry --- Biotechnology --- medische biochemie --- bio-engineering --- biotechnologie

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Literature