News

TU Wien Academic Press - Neuerscheinung: FMCAD 2020

"Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020" erschienen. Die Konferenz fand vom 21. bis 24. September 2020 erstmals online statt.

Proceedings: FMCAD

Der erste Band der Schriftenreihe "Conference Series: Formal Methods in Computer-Aided Design" ist erschienen und steht als Open-Access-E-Book kostenlos zum Download zur Verfügung:

E-Book "Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020", öffnet eine externe URL in einem neuen Fenster

"Formal Methods in Computer-Aided Design" ist eine Konferenzreihe zu Theorie und Anwendung von formalen Methoden in Hardware- und Systemverifikation. Die Conference Proceedings erscheinen künftig jährlich bei TU Wien Academic Press.

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