Formal Methods in System Design,volume 37,issue 2-3  (12-2013)

Period of time： 2013年2-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 37,issue 2-3

Menu

Special issue: 2nd World Congress on Formal Methods

By Cavalcanti Ana in (2010)

Formal Methods in System Design,volume 37,issue 2-3 , Vol. 37, Iss. 2-3, 2010-12 , pp. 93-94

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Pointfree expression and calculation: from quantification to temporal logic

By Boute Raymond in (2010)

Formal Methods in System Design,volume 37,issue 2-3 , Vol. 37, Iss. 2-3, 2010-12 , pp. 95-140

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Reasoning about memory layouts

By Gast Holger in (2010)

Formal Methods in System Design,volume 37,issue 2-3 , Vol. 37, Iss. 2-3, 2010-12 , pp. 141-170

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Doomed program points

By Hoenicke Jochen in (2010)

Formal Methods in System Design,volume 37,issue 2-3 , Vol. 37, Iss. 2-3, 2010-12 , pp. 171-199

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Scenario-based verification of real-time systems using Uppaal

By Li Shuhao in (2010)

Formal Methods in System Design,volume 37,issue 2-3 , Vol. 37, Iss. 2-3, 2010-12 , pp. 200-264

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Model-based construction and verification of critical systems using composition and partial refinement

By Jeffords Ralph in (2010)

Formal Methods in System Design,volume 37,issue 2-3 , Vol. 37, Iss. 2-3, 2010-12 , pp. 265-294

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 6 item(s)