Intern
  • MBMV 202629. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen
29. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2026)

Tagungsort

Adresse

Informatik M2
Am Hubland
97074 Würzburg

 

Würzburg erleben

Sehenswürdigkeiten (externer Link)