Volume 10, Issue 5 | International Journal on Software Tools for Technology Transfer

Search all International Journal on Software Tools for Technology Transfer articles

Volume 10, Issue 5

October 2008

Filter by

Volume:

Sort by

Date published:

New to old Old to new

4 articles in this issue

FAST: acceleration from theory to practice
Sébastien Bardin
Alain Finkel
Laure Petrucci
Regular Contribution 05 February 2008 Pages: 401 - 424
A uniform framework for weighted decision diagrams and its implementation
Jörn Ossowski
Christel Baier
Regular Contribution 27 March 2008 Pages: 425 - 441
Properties of state spaces and their applications
Radek Pelánek
Regular Contribution 06 June 2008 Pages: 443 - 454
FTSyn: a framework for automatic synthesis of fault-tolerance
Ali Ebnenasir
Sandeep S. Kulkarni
Anish Arora
Regular Contribution 31 July 2008 Pages: 455 - 471