C.-s. Chung, M.-k. Lee, M.-s. Jeong,
"A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification,"
Asia-Pacific Software Engineering Conference, pp. 278, Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 1998.
BibTex
x
@article{
10.1109/APSEC.1998.733730, author = {C.-s. Chung and M.-k. Lee and M.-s. Jeong}, title = {A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification}, journal ={Asia-Pacific Software Engineering Conference}, volume = {0}, year = {1998}, isbn = {0-8186-9183-2}, pages = {278}, doi = {http://doi.ieeecomputersociety.org/10.1109/APSEC.1998.733730}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }
RefWorks Procite/RefMan/Endnote
x
TY - CONF JO - Asia-Pacific Software Engineering Conference TI - A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification SN - 0-8186-9183-2 SP EP A1 - C.-s. Chung, A1 - M.-k. Lee, A1 - M.-s. Jeong, PY - 1998 VL - 0 JA - Asia-Pacific Software Engineering Conference ER -
C.-s. Chung, M.-k. Lee, M.-s. Jeong, "A Scaleable and Modular Approach to Verification of ATM Switching System Using Reverse Specification," apsec, pp.278, Fifth Asia-Pacific Software Engineering Conference (APSEC'98), 1998
PURCHASE ARTICLE: $19
IEEE Xplore Subscribers
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb