Kiểm chứng các thành phần Java tương tranh

143 586 0

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

1 / 143 trang

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Nội dung

Ngày đăng: 25/03/2015, 09:46

Xem thêm

TỪ KHÓA LIÊN QUAN

TRÍCH ĐOẠN

Máy được làm mịn để truy cập vào vùng xung đột Máy trừu tượng cho vấn đề cung cấp-tiêu thụ

Máy trừu tượng cho vấn đề đọc-ghi

Giao thức tuần tự được biểu diễn bằng UML Giao thức song song được biểu diễn bằng UML

Phương pháp kiểm chứng sự đồng thuận tại mức mã nguồn Kiểm chứng mã nguồn hệ thống cung cấp-tiêu thụ với JPF

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN