Digital resources - Ha Noi university of science and technology

Browsing by Subject Mô hình phần mềm

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 1 of 1

Thesis

Kiểm tra mô hình phần mềm sử dụng ký thuyết ô tômat buchi và logic thời gian tuyến tính

Authors : Phạm Thị Thái Ninh; Advisor : Huỳnh Quyết Thắng (2006)

Tổng quan về kiểm tra mô hình phần mềm. Các kỹ thuật kiểm tra mô hình phần mềm. kỹ thuật kiểm tra mô hình phần mềm sử dụng lý thuyết logic thời gian tuyến tính và ôtômat buchi. Xây dựng hệ thống để kiểm tra mô hình phần mềm