loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
19th IEEE International Conference on Automated Software Engineering (ASE'04)
Decompositional Verification of Component-based Systems-A Hybrid Approach
Linz, Austria
September 20-September 24
ISBN: 0-7695-2131-2
ASCII Text
x 
 
Gaoyan Xie, "Decompositional Verification of Component-based Systems-A Hybrid Approach," Automated Software Engineering, International Conference on, pp. 414-417, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ASE.2004.10007,
author = {Gaoyan Xie},
title = {Decompositional Verification of Component-based Systems-A Hybrid Approach},
journal ={Automated Software Engineering, International Conference on},
volume = {0},
year = {2004},
issn = {1068-3062},
pages = {414-417},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASE.2004.10007},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Automated Software Engineering, International Conference on
TI - Decompositional Verification of Component-based Systems-A Hybrid Approach
SN - 1068-3062
SP414
EP417
A1 - Gaoyan Xie,
PY - 2004
KW - null
VL - 0
JA - Automated Software Engineering, International Conference on
ER -
 
Gaoyan Xie, Washington State University, Pullman, WA
This paper introduces a decompositional verification approach for component-based systems through both formal analysis (model-checking) and traditional software testing.
Citation:
Gaoyan Xie, "Decompositional Verification of Component-based Systems-A Hybrid Approach," ase, pp.414-417, 19th IEEE International Conference on Automated Software Engineering (ASE'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.