Email Alert    RSS
Formal Testing Model Generation Based on Scenario
HUANG Long1,2,MIAO Huai-kou1,2,WANG Xi1,2,GUO Liang1,2
Journal of Shanghai University（Natural Science Edition） . 2011, (5): 595 -599 .  DOI: 10.3969/j.issn.1007-2861.2011.05.004

APS Journals | CSTAM Journals | AMS Journals | EMS Journals | ASME Journals
Total visitors:
Copyright © Applied Mathematics and Mechanics (English Edition)
Address：P. O. Box 122, Shanghai University, 99 Shangda Road, Shanghai 200444, China
E-mail： amm@department.shu.edu.cn
Technical support: Beijing Magtech Co.ltd support@magtech.com.cn