Items where Author is "Muthiayen, Darmalingum"
![[up]](/style/images/multi_up.png)
Up a levelGroup by: Item Type | No Grouping
Number of items: 2.
Muthiayen, Darmalingum (2000) Real-time reactive system development : a formal approach based on UML and PVS. PhD thesis, Concordia University.
Muthiayen, Darmalingum (1996) Animation and formal verification of real-time reactive systems in an object-oriented environment. Masters thesis, Concordia University.
