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

157 16 0
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

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

Thông tin tài liệu

Ngày đăng: 20/07/2021, 09:30

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