Next:
Runtime Verification
Research Statement
A brief summary of the research performed at PDSLAB is given below.
Runtime Verification
Dependency Tracking
Observation of Distributed Programs
Fault-Tolerance in Distributed Systems
Supervisory Control of Discrete Event Systems
Lattice Theory with Applications
Miscellaneous Distributed Systems
About this document ...
Vijay K. Garg 2006-08-10
