Zum dritten Mal erscheinen die Beiträge der Konferenzreihe "Formal Methods in Computer-Aided Design" (FMCAD, "Formale Methoden in rechnerunterstützter Systementwicklung") als Konferenzband bei TU Wien Academic Press.

Der aktuelle Band der seit 2006 einmal jährlich veranstalteten Konferenz präsentiert in über 40 Beiträgen neueste wissenschaftliche Erkenntnisse aus dem Bereich computergestützten Entwerfens. Die Beiträge umfassen eine Vielzahl von Aspekten, unter anderem Verifikation, Testung und Synthese von Modellen und Systemen und Anwendungen von AI-basierten Methoden.

Die 22. FMCAD-Konferenz findet im Oktober 2022 in Italien statt. Als führendes Forum im Bereich des Computer-aided Design bietet die Konferenzreihe seit ihrer Gründung 1996 Forschenden sowohl aus dem akademischen als auch dem industriellen Umfeld die Möglichkeit, sich auszutauschen und zu vernetzen.

Die Publikation steht als E-Book, öffnet eine externe URL in einem neuen Fenster zur Verfügung.

Der Band ist in der Schriftenreihe "Conference Series: Formal Methods in Computer-Aided Design, öffnet eine externe URL in einem neuen Fenster" erschienen.

Mehr zu TU Wien Academic Press, öffnet eine externe URL in einem neuen Fenster