Model Checking Software Architecture Design. Zhang, J., Liu 0003, Y., Sun 0002, J., Song Dong, J., & Sun 0001, J. In Proceedings of High-Assurance Systems Engineering (HASE), pages 193-200, 2012.
Model Checking Software Architecture Design [link]Paper  bibtex   
@inproceedings{ dblp2046244,
  title = {Model Checking Software Architecture Design},
  author = {Jiexin Zhang and Yang Liu 0003 and Jing Sun 0002 and Jin Song Dong and Jun Sun 0001},
  author_short = {Zhang, J. and Liu 0003, Y. and Sun 0002, J. and Song Dong, J. and Sun 0001, J.},
  bibtype = {inproceedings},
  type = {inproceedings},
  year = {2012},
  key = {dblp2046244},
  id = {dblp2046244},
  biburl = {http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012},
  url = {http://dx.doi.org/10.1109/HASE.2012.12},
  conference = {HASE},
  pages = {193-200},
  text = {HASE 2012:193-200},
  booktitle = {Proceedings of High-Assurance Systems Engineering (HASE)}
}

Downloads: 0