1. Trang chủ
  2. » Văn bán pháp quy

A Framework for Modeling and Modular Verification of Component-Based System Designs

12 10 0

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 12
Dung lượng 208,1 KB

Nội dung

The key idea when using the CNNFA algorithm to generate models corresponding to regular expressions is that it uses an algorithm to parse the given regular expression into basic and non-[r]

Ngày đăng: 23/01/2021, 18:42

TỪ KHÓA LIÊN QUAN