Volume 11, Number 1, February 2009
export record as
dblp key:
Antti Valmari :
Software model checking is a rich research field.
1-11
export record as
dblp key:
journals/sttt/MelattiPSYKG09 export record as
dblp key:
export record as
dblp key:
journals/sttt/BosnackiLL09 export record as
dblp key:
export record as
dblp key:
journals/sttt/ArmandoMP09
Volume 11, Number 2, April 2009
export record as
dblp key:
Michael Huth ,
Orna Grumberg :
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.
85-94
export record as
dblp key:
journals/sttt/BryantKOSSB09 export record as
dblp key:
journals/sttt/ChatterjeeLQR09 export record as
dblp key:
export record as
dblp key:
Lili Tan :
The worst-case execution time tool challenge 2006.
133-152
export record as
dblp key:
journals/sttt/GeorgiouLMT09
Volume 11, Number 3, July 2009 Papers from ISoLA 2005
export record as
dblp key:
journals/sttt/HincheyMS09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/sttt/CansellMP09 export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/sttt/DesmoulinV09
Volume 11, Number 4, October 2009 Special Section on HVC 07
export record as
dblp key:
Karen Yorav :
Haifa verification conference 2007.
269-272
export record as
dblp key:
journals/sttt/PasternakTY09 export record as
dblp key:
export record as
dblp key:
journals/sttt/RaffeltMSM09 export record as
dblp key:
export record as
dblp key:
journals/sttt/PasareanuV09
Volume 11, Number 5, November 2009 Special Section on FMICS 05
export record as
dblp key:
journals/sttt/MargariaM09 export record as
dblp key:
journals/sttt/CamaraGMS09 export record as
dblp key:
export record as
dblp key:
journals/sttt/RaffeltSBM09 export record as
dblp key:
Jan Mikác ,
Paul Caspi :
Flush: an example of development by refinements in SCADE/Lustre.
409-418
Volume 11, Number 6, December 2009
export record as
dblp key:
export record as
dblp key:
journals/sttt/MarchettoR09 export record as
dblp key:
Harry M. Sneed :
A pilot project for migrating COBOL code to web services.
441-451
export record as
dblp key:
export record as
dblp key:
journals/sttt/ScannielloDR09 export record as
dblp key:
journals/sttt/BernardiLD09 export record as
dblp key:
data released under the ODC-BY 1.0 license
