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.
Các chủ đề có liên quan khác
Tạo bởi Tiêu đề Blog Lượt trả lời Ngày
M [PC]State of Mind[Phiêu Lưu |2018] Download Game 0
M [PC]State of Decay 2[Hành động |2018] Download Game 0
A Improving the theoretical background of the coordinative relationship in State Management at the gra Ngoại ngữ 0
T Improving the quality of human resources at The State Bank of Vietnam in the context of country s in Ngoại ngữ 0
M Improve the efficiency of responsibility inspection for state administrative agencies in the settlem Ngoại ngữ 0
A State policy changes/technological developments and the impacts on the development of media groups i 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 Insuran Luận văn Kinh tế 0
H n investiagtion into the state of plagiarism in writing assignments among third year students majore Ngoại ngữ 0

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

Top