Formal Methods in System Design,volume 27,issue 3  (11-2013)

Period of time: 2013年3期

Publisher: Springer Publishing Company

Founded in: 1992

Total resources: 27

ISSN: 0925-9856

Subject: TP Automation Technology , Computer Technology

Favorite

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 27,issue 3

Menu