Avoiding state-space explosion in Model-Checker

G

Grantland

New Member
Luận văn:Avoiding state-space explosion in Model-Checker : M.A Thesis Information Technology : 60 48 01
Nhà xuất bản:ĐHCN
Ngày:2014
Miêu tả:45 p. + CD-ROM
M.A Thesis. Computer Science -- University of Engineering and Technology. Vietnam National University, Hanoi, 2014
Electronic Resources
Kiểu:text
Định dạng:text/pdf
Link tải Free download cho anh em Ketnooi:
You must be registered for see links

 
Bạn phải đăng nhập hoặc đăng ký để trả lời ở đây.

Kiến thức bôn ba

Các chủ đề có liên quan khác
Tạo bởi Tiêu đề Blog Lượt trả lời Ngày
A Improving the theoretical background of the coordinative relationship in State Management at the grassroots level Ngoại ngữ 0
T Improving the quality of human resources at The State Bank of Vietnam in the context of country s integration and sustainable development Ngoại ngữ 0
M Improve the efficiency of responsibility inspection for state administrative agencies in the settlement of claims Ngoại ngữ 0
A State policy changes/technological developments and the impacts on the development of media groups in Vietnam, with research via the model of the Vietnam Economic Times group Ngoại ngữ 0
L Solutions to enhance the effectiveness and efficiency of the organization and operation of Banking Supervisory Agency (Banking Supervision) - The State bank of Vietnam Ngoại ngữ 0
H Reviewing the new public management model through evidence of the State Audit Ngoại ngữ 0
P The State s role in provision of testing service for food safety in Vietnam Ngoại ngữ 0
F The solutions for valuation in the equitization of state enterprises, the case of Vietinbank Insurance One Member limited Company Luận văn Kinh tế 0
H n investiagtion into the state of plagiarism in writing assignments among third year students majored in English in one of Vietnamese University and some preventive teaching strategies Ngoại ngữ 0
T Máy Trạng Thái - State Machine Khoa học kỹ thuật 0

Các chủ đề có liên quan khác

Top