Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Proceedings of the 24th Conference on Formal Methods in Computer-Aided Design – FMCAD 2024

Item request has been placed! ×
Item request cannot be made. ×
loading   Processing Request
اقرأ أكثر حفظ في قائمتي
  • معلومة اضافية
    • Contributors:
      Narodytska, Nina; Rümmer, Philipp
    • بيانات النشر:
      Vienna: TU Wien Academic Press, 2024.
    • الموضوع:
      2024
    • Collection:
      Books
      Imported or submitted locally
    • Original Material:
      957c0323-9030-48c6-8bd4-a008cf795a7a
      5
    • نبذة مختصرة :
      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.
    • File Description:
      application/pdf
    • Relation:
      Conference Series: Formal Methods in Computer-Aided Design
    • الرقم المعرف:
      10.34727/2024/isbn.978-3-85448-065-5
    • Rights:
      Attribution 4.0 International
      URL: https://creativecommons.org/licenses/by/4.0/
    • Notes:
      https://library.oapen.org/handle/20.500.12657/93967

      https://www.tuwien.at/academicpress/produkt/proceedings-of-the-24th-conference-on-formal-methods-in-computer-aided-design-fmcad-2024-ebook/
    • الرقم المعرف:
      edsoap.20.500.12657.93967