KooSYCYH04'

BibTeX

@inproceedings{DBLP:conf/iastedSE/KooSYCYH04,
  author    = {Seo Ryong Koo and
               Poong-Hyun Seong and
               Junbeom Yoo and
               Sung Deok Cha and
               Cheong Youn and
               Hyun-chul Han},
  title     = {An integrated environment of S/W specification and V{\&}V
               for safety-critical systems},
  booktitle = {IASTED Conf. on Software Engineering},
  year      = {2004},
  pages     = {607-612},
  crossref  = {DBLP:conf/iastedSE/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/iastedSE/2004,
  editor    = {M. H. Hamza},
  title     = {IASTED International Conference on Software Engineering,
               part of the 22nd Multi-Conference on Applied Informatics,
               Innsbruck, Austria, February 17-19, 2004},
  booktitle = {IASTED Conf. on Software Engineering},
  publisher = {IASTED/ACTA Press},
  year      = {2004},
  isbn      = {0-88986-381-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}