Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design – FMCAD 2023

Av: Medverkande: Materialtyp: ArtikelSerie: Utgivningsinformation: TU Wien Academic Press 2023Beskrivning: 1 electronic resource (332 p.)Innehållstyp:
  • text
Medietyp:
  • computer
Bärartyp:
  • online resource
Ämnen: Onlineresurser: Sammanfattning: The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.
Inga fysiska exemplar för denna post

Open Access Unrestricted online access star

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system in academia and industry for presenting and discussing groundbreaking methods, technologies, theoretical results, and tools for reasoning formally about computing systems. FMCAD covers formal aspects of computer-aided system testing.

Accessibility options of PDF file not available

Creative Commons Licence cc by cc https://creativecommons.org/licenses/by/4.0/

eng

Freely available e-book