International Journal on Software Tools for Technology Transfer

ISSN: 1433-2779 (Print) 1433-2787 (Online)

All Volumes & Issues

  • Volumes
  • November 2006, Issue 6

    Special Section on Leveraging Applications of Formal Methods (pp 467-603); Special Section on Quantitative Analysis of Real-Time Embedded Systems (pp 605-667)

  • August 2006, Issue 4-5

    A View from Formal Methods 2003 (pp 301-354); Special Section on Recent Advances in Hardware Verification (pp 355-447)

  • June 2006, Issue 3

    Special Section on Tools and Algorithms for the Construction and Analysis of Systems 2004

  • April 2006, Issue 2

    Special Section on Specification and Validation of Models of Real Time and Embedded Systems with UML

  • February 2006, Issue 1

    Special section on Tools and Algorithms for the Construction and Analysis of Systems