Modeling and verification of component-based system
ZENG Hongwei+, MIAO Huaikou
Journal of Frontiers of Computer Science and Technology . 2008, (2): 198 -205 . 

京ICP备13024263号-1
Copyright © Journal of Frontiers of Computer Science and Technology
Powered by Beijing Magtech Co., Ltd.
Total visitors:
Visitors of today:
Now online: