Bibtex

Jagadish Suryadevara, Lawrence Chung, R.K. Shyamasundar, cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems

Back

The JOT Journal   |   ISSN 1660-1769   |   DOI 10.5381/jot   |   AITO   |   Open Access