ISR
Model-Driven Synthesis of Formally Precise, Stylized Software Architectures
| Title | Model-Driven Synthesis of Formally Precise, Stylized Software Architectures |
| Publication Type | Journal Article |
| Year of Publication | 2016 |
| Authors | Bagheri, H., and K. Sullivan |
| Journal | Formal Aspects of Computing |
| Volume | 28 |
| Number | 3 |
| Pagination | 441-467 |
| Date Published | May 1 |
| DOI | 10.1007/s00165-016-0360-8<br/> |