LUAN, Le Chi; 						VIET, Tran Hoang; 						HUNG, Pham Ngoc.
 A Framework for Modeling and Modular Verifying of Component-based System Designs.
<strong>VNU Journal of Science: Computer Science and Communication Engineering</strong>, [S.l.], v. 32, n. 2, may 2016.
ISSN 2588-1086.
Available at: &lt;<a href="//jcsce.vnu.edu.vn/index.php/jcsce/article/view/110" target="_new">//jcsce.vnu.edu.vn/index.php/jcsce/article/view/110</a>&gt;. Date accessed: 20 nov. 2024.