Formal Methods in System Design,volume 24,issue 1  (01-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 24,issue 1

Menu

Accelerating Bounded Model Checking of Safety Properties

By Strichman Ofer in (2004)

Formal Methods in System Design,volume 24,issue 1 , Vol. 24, Iss. 1, 2004-01 , pp. 5-24

Springer Publishing Company

Abstract Access to resources Recommend Favorite

SAT-Solving the Coverability Problem for Petri Nets

By Abdulla Parosh Aziz,Iyer S. Purushothaman,Nylén Aletta in (2004)

Formal Methods in System Design,volume 24,issue 1 , Vol. 24, Iss. 1, 2004-01 , pp. 25-43

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A Constructive Approach to Hardware/Software Partitioning

By Silva Leila,Sampaio Augusto,Barros Edna in (2004)

Formal Methods in System Design,volume 24,issue 1 , Vol. 24, Iss. 1, 2004-01 , pp. 45-90

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 3 item(s)