International Journal on Software Tools for Technology Transfer,volume 10,issue 5  (10-2014)

Period of time： 2014年5期

Publisher： Springer Publishing Company

Founded in： 1997

Total resources： 18

ISSN： 1433-2779

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.

International Journal on Software Tools for Technology Transfer,volume 10,issue 5

Menu

FAST: acceleration from theory to practice

By Bardin Sébastien in (2008)

International Journal on Software Tools for Technology Transfer,volume 10,issue 5 , Vol. 10, Iss. 5, 2008-10 , pp. 401-424

Springer Publishing Company

Abstract Access to resources Recommend Favorite

A uniform framework for weighted decision diagrams and its implementation

By Ossowski Jörn in (2008)

International Journal on Software Tools for Technology Transfer,volume 10,issue 5 , Vol. 10, Iss. 5, 2008-10 , pp. 425-441

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Properties of state spaces and their applications

By Pelánek Radek in (2008)

International Journal on Software Tools for Technology Transfer,volume 10,issue 5 , Vol. 10, Iss. 5, 2008-10 , pp. 443-454

Springer Publishing Company

Abstract Access to resources Recommend Favorite

FTSyn: a framework for automatic synthesis of fault-tolerance

By Ebnenasir Ali in (2008)

International Journal on Software Tools for Technology Transfer,volume 10,issue 5 , Vol. 10, Iss. 5, 2008-10 , pp. 455-471

Springer Publishing Company

Abstract Access to resources Recommend Favorite

Total 4 item(s)