iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/db/journals/sttt/sttt8.html
dblp: STTT, Volume 8

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

SPARQL queries 

Refine list

showing all ?? records

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