A classification and comparison of model checking software architecture techniques
- Post by:
- December 22, 2024
- Comments off
by Pengcheng Zhang, Henry Muccini and Bixin Li
Reference:
A classification and comparison of model checking software architecture techniques (Pengcheng Zhang, Henry Muccini and Bixin Li), In J. Syst. Softw., volume 83, 2010.
Bibtex Entry:
@article{DBLP:journals/jss/ZhangML10, author = {Pengcheng Zhang and Henry Muccini and Bixin Li}, title = {A classification and comparison of model checking software architecture techniques}, journal = {J. Syst. Softw.}, volume = {83}, number = {5}, pages = {723--744}, year = {2010}, url = {https://doi.org/10.1016/j.jss.2009.11.709}, doi = {10.1016/J.JSS.2009.11.709}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/ZhangML10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
Categories: