Luận án Tiến sĩ Khoa học máy tính: Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả
10
lượt xem 3
download
lượt xem 3
download
Download
Vui lòng tải xuống để xem tài liệu đầy đủ
Luận án Tiến sĩ Khoa học máy tính "Mô hình xác thực nghiệp vụ phần mềm theo hướng lập trình đặc tả" trình bày các nội dung chính sau: Tổng quan về quy trình và quy tắc nghiệp vụ phần mềm; Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu; Xác thực quy trình và quy tắc nghiệp vụ phần mềm sử dụng mạng Petri màu phân cấp.
Chủ đề:
Bình luận(0) Đăng nhập để gửi bình luận!
CÓ THỂ BẠN MUỐN DOWNLOAD
