International Journal on Software Tools for Technology Transfer (STTT), Volume 8

Volume 8, Number 1, February 2006

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

Volume 8, Number 2, April 2006

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

Volume 8, Number 3, June 2006

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

Volume 8, Numbers 4-5, August 2006

A View from Formal Methods 2003 Special Section on Recent Advances in Hardware Verification

Volume 8, Number 6, November 2006

Special Section on Leveraging Applications of Formal Methods Special Section on Quantitative Analysis of Real-Time Embedded Systems