Articles matching “Famelis”
- Mouna Dhaouadi, Kate M. B. Spencer, Megan H. Varnum, Alicia M. Grubb, Michalis Famelis, Towards a Generic Method for Articulating Design-time Uncertainty, pp. 3:1-14, PDF, DOI. Volume 20, no. 3 (June 2021)
- Rick Salay, Marsha Chechik, Michalis Famelis, Jan Gorzny, A Methodology for Verifying Refinements of Partial Models, pp. 3:1-31, PDF, DOI. Volume 14, no. 3 (August 2015)