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.
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
{"_id":"xtRLwJtJae3Yo6Whn","authorIDs":["54cf20e291c843ab6e000447"],"author_short":["Zhang, J.","Liu 0003, Y.","Sun 0002, J.","Song Dong, J.","Sun 0001, J."],"bibbaseid":"zhang-liu0003-sun0002-songdong-sun0001-modelcheckingsoftwarearchitecturedesign-2012","bibdata":{"title":"Model Checking Software Architecture Design","author":["Jiexin Zhang","Yang Liu 0003","Jing Sun 0002","Jin Song Dong","Jun Sun 0001"],"author_short":["Zhang, J.","Liu 0003, Y.","Sun 0002, J.","Song Dong, J.","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)","bibtex":"@inproceedings{ dblp2046244,\n title = {Model Checking Software Architecture Design},\n author = {Jiexin Zhang and Yang Liu 0003 and Jing Sun 0002 and Jin Song Dong and Jun Sun 0001},\n author_short = {Zhang, J. and Liu 0003, Y. and Sun 0002, J. and Song Dong, J. and Sun 0001, J.},\n bibtype = {inproceedings},\n type = {inproceedings},\n year = {2012},\n key = {dblp2046244},\n id = {dblp2046244},\n biburl = {http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012},\n url = {http://dx.doi.org/10.1109/HASE.2012.12},\n conference = {HASE},\n pages = {193-200},\n text = {HASE 2012:193-200},\n booktitle = {Proceedings of High-Assurance Systems Engineering (HASE)}\n}","bibbaseid":"zhang-liu0003-sun0002-songdong-sun0001-modelcheckingsoftwarearchitecturedesign-2012","role":"author","urls":{"Paper":"http://dx.doi.org/10.1109/HASE.2012.12"},"downloads":0},"bibtype":"inproceedings","biburl":"http://www.dblp.org/rec/bibtex/conf/hase/Zhang00D012","creationDate":"2015-02-02T07:01:54.671Z","downloads":0,"keywords":[],"search_terms":["model","checking","software","architecture","design","zhang","liu 0003","sun 0002","song dong","sun 0001"],"title":"Model Checking Software Architecture Design","year":2012,"dataSources":["Y9Ek4DGnWvNmMzaWL"]}