Login | Register

Items where Author is "Janarthanan, Vasudevan"

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


Janarthanan, Vasudevan (2007) Formalization of uniprocessor and multiprocessor scheduling of real-time systems using supervisory control of discrete-event systems. PhD thesis, Concordia University.

Janarthanan, Vasudevan (2003) Modular composition and verification of transaction processing protocols using category theory. Masters thesis, Concordia University.

This list was generated on Tue Jul 7 03:29:42 2020 EDT.
Back to top Back to top