![Một số cải tiến phương pháp kiểm chứng giả định đảm bảo cho phần mềm dựa trên thành phần](https://123docz.net/image/doc_normal.png)
Đang tải... (xem toàn văn)
Thông tin tài liệu
Ngày đăng: 20/07/2021, 09:30
Xem thêm:
Mục lục
Các óng góp chính cua lun án
B cuc cua lun án
KIN THC NN TANG
Ðc ta và kim chng gia inh - am bao cho các h thng c ta bng LTS
H thng chuyn trang thái uc gán nhãn
Kim chng gia inh - am bao cho các h thng c ta bng LTS
Ðc ta và kim chng gia inh - am bao cho các h thng c ta bng lôgic mnh
Ðc ta h thng chuyn trang thái bng lôgic mnh
Kim chng gia inh - am bao cho các h thng c ta bng lôgic mnh
Ðc ta và kim chng gia inh - am bao cho các h thng có ràng buc thi gian
Tài liệu cùng người dùng
Tài liệu liên quan