Formal Methods in System Design,volume 37,issue 1  (11-2013)

Period of time： 2013年1期

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 37,issue 1

Menu

Theorem prover approach to semistructured data design

By Lee Scott in (2010)

Formal Methods in System Design,volume 37,issue 1 , Vol. 37, Iss. 1, 2010-11 , pp. 1-60

Springer Publishing Company

Abstract Access to resources Recommend Favorite

MAVEN: modular aspect verification and interference analysis

By Goldman Max in (2010)

Formal Methods in System Design,volume 37,issue 1 , Vol. 37, Iss. 1, 2010-11 , pp. 61-92

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 2 item(s)