A service-oriented methodology supporting automatic synthesis and verification of component behavior model.

Pengcheng Zhang Yu Zhou Bixin Li A service-oriented methodology supporting automatic synthesis and verification of component behavior model. 511-516 2007 SNPD (1) http://doi.ieeecomputersociety.org/10.1109/SNPD.2007.98 conf/snpd/2007 db/conf/snpd/snpd2007-1.html#ZhangZL07