Volume 13, Number 1, March 2003
export record as
dblp key:
Derek Yates :
Editorial: Perhaps some parallels do converge?
1-2
export record as
dblp key:
export record as
dblp key:
journals/stvr/OffuttLAA03 export record as
dblp key:
export record as
dblp key:
Volume 13, Number 2, June 2003
export record as
dblp key:
export record as
dblp key:
journals/stvr/ElbaumKMRK03 export record as
dblp key:
Feng-Zhong Zou :
A change-point perspective on the software failure process.
85-93
export record as
dblp key:
journals/stvr/AndrewsFGC03 export record as
dblp key:
export record as
dblp key:
Volume 13, Number 3, September 2003
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Vlad Rusu :
Combining formal verification and conformance testing for validating reactive systems.
157-180
export record as
dblp key:
journals/stvr/FrancescoL03 export record as
dblp key:
export record as
dblp key:
Volume 13, Number 4, December 2003
VVEIS 2003
export record as
dblp key:
Juan Carlos Augusto ,
Marc Roper :
Editorial: The First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS 2003).
205-206
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
journals/stvr/Ultes-NitscheJ03 Ulrich Ultes-Nitsche ,
Simon St. James :
Improved verification of linear-time properties within fairness: weakly continuation-closed behaviour abstractions computed from trace reductions.
241-255
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
