![](/img/cover-not-exists.png)
[IEEE 2018 10th International Conference on Knowledge and Systems Engineering (KSE) - Ho Chi Minh City, Vietnam (2018.11.1-2018.11.3)] 2018 10th International Conference on Knowledge and Systems Engineering (KSE) - On Improvement of Assume-Guarantee Verification Method for Timed Component-Based Software
Tran, Hoang-Viet, Hung, Pham Ngoc, Van Hung, DangYear:
2018
Language:
english
DOI:
10.1109/KSE.2018.8573364
File:
PDF, 151 KB
english, 2018