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

Pengcheng Zhang, Yu Zhou, Bixin Li

Browse the full SNPD paper archive.