Breadcrumb

 
 

Items where Author is "Muthiayen, Darmalingum"

Up a level
Export as [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 2.

Thesis

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.

This list was generated on Wed Jul 30 03:05:21 2014 EDT.

Concordia University - Footer