VNU-UET Repository

An Assume-Guarantee Model Checker for Component-Based Systems

Hoang, Minh Duong and Le, Khanh Trinh and Pham, Ngoc Hung (2013) An Assume-Guarantee Model Checker for Component-Based Systems. In: 2013: IEEE RIVF International Conference on Computing and Communication Technologies (RIVF2013), November 11-13, 2013, Hanoi, VIETNAM.

Full text not available from this repository.
Item Type: Conference or Workshop Item (Paper)
Subjects: Information Technology (IT)
Divisions: Faculty of Information Technology (FIT)
Depositing User: Ms. Cam Le Tran Thi
Date Deposited: 22 Jul 2015 13:58
Last Modified: 22 Jul 2015 13:58
URI: http://eprints.uet.vnu.edu.vn/eprints/id/eprint/768

Actions (login required)

View Item View Item