基于UPPAAL的燃气报警器的建模与验证
Publisher: 国家哲学社会科学学术期刊数据库
E-ISSN: 1008-4657|30|4|16-21
ISSN: 1008-4657
Source: 荆楚理工学院学报, Vol.30, Iss.4, 2015-01, pp. : 16-21
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract