Trung tâm Thư viện và Tri thức số - Library and Digital Knowledge Center

Request a document copy: Methods for modeling and verifying event-driven systems= Phương pháp mô hình hóa và kiểm chứng các hệ thống hướng sự kiện. Luận án TS. Công nghệ thông tin: 62 48 01 03