ISR Bibliography

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: Author is Kevin Sullivan  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
M
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.