ACM-IEEE International Conference on Formal Methods and Models for System Design (20. : 2022 : Schanghai; Online) Aufgrund der COVID-19-Pandemie hybrid abgehalten. Bezüge im Wissensnetz Veranstaltungsort (1) GND Schanghai Homepage (1) GND memocode2022.github.io Administrative Überordnung der Konferenz oder der Veranstaltung (1) GND 1281454257