Period of time： 2013年2期
Publisher： Springer Publishing Company
Founded in： 2006
Total resources： 35
ISSN： 0925-9856
Subject： TP Automation Technology , Computer Technology
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Formal Methods in System Design,volume 42,issue 2