Browse

Author Profile

Browsing by Subject Phương pháp hình thức

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 2 of 2
  • OER000003373.pdf.jpg
  • Ebooks (Sách điện tử)

  • Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020

    • Authors : - (2020)

  • Hội nghị về các phương pháp hình thức trong thiết kế có sự hỗ trợ của máy tính (FMCAD) là hội nghị thường niên về lý thuyết và ứng dụng của các phương pháp hình thức trong xác minh phần cứng và hệ thống. FMCAD cung cấp một diễn đàn hàng đầu cho các nhà nghiên cứu trong giới học thuật và công nghiệp để trình bày và thảo luận về các phương pháp, công nghệ, kết quả lý thuyết và công ...
  • OER000003364.pdf.jpg
  • Ebooks (Sách điện tử)

  • Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021

    • Authors : - (2021)

  • Hội nghị về các phương pháp hình thức trong thiết kế có sự hỗ trợ của máy tính (FMCAD) là hội nghị thường niên về lý thuyết và ứng dụng của các phương pháp hình thức trong xác minh phần cứng và hệ thống. FMCAD cung cấp một diễn đàn hàng đầu cho các nhà nghiên cứu trong giới học thuật và công nghiệp để trình bày và thảo luận về các phương pháp, công nghệ, kết quả lý thuyết và công ...