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

Abstract

145 p. + CD-ROM + Tóm tắt

Luận án tiến sỹ. Kỹ thuật phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2015