PROCEEDINGS OF THE 22ND CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN – FMCAD 2022

Conference Series: Formal Methods in Computer-Aided Design, Volume 3

DOWNLOAD COVER
0,00 

The third volume of proceedings of the conference series on ‘Formal methods in computer-aided design’ offers new insights into an exciting field of research.
For the third time, TU Wien Academic Press is publishing the conference proceedings of the conference series ‘Formal Methods in Computer-Aided Design’, FMCAD. The present volume in the conference series, held annually since 2006, includes over 40 conference papers presenting the most recent scientific findings in the field of computer-aided design. The papers cover a wide variety of topics including verification, testing and synthesis of models and systems as well as applications of AI-based methods.
The 22nd FMCAD conference is held in October 2022 in Italy. The conference series is regarded as the leading forum in the field of computer-aided design, and offers researchers from both academic and industrial settings opportunities for scientific exchange and networking.

    Product information

    ISBN (E-Book)

    978-3-85448-053-2

    DOI

    10.34727/2022/isbn.978-3-85448-053-2
    405 pages

     

    Publication date

    October 2022

    Added to cart.
    Accept
    Decline