ISR Bibliography

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is Kevin Sullivan  [Clear All Filters]
2016
Bagheri, H., and K. Sullivan, "Model-Driven Synthesis of Formally Precise, Stylized Software Architectures", Formal Aspects of Computing, vol. 28, no. 3, pp. 441-467, May 1, 2016.