Articles matching “Suryadevara”
- Jagadish Suryadevara, Lawrence Chung, R.K. Shyamasundar, cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems, pp. 187-207, PDF, HTML, DOI. Volume 7, no. 8 (November 2008)
- Jagadish Suryadevara, R.K. Shyamasundar, UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources, pp. 107-119, PDF, HTML, DOI. Volume 6, no. 1 (January 2007)