In-silico Drug designing
UPPAAL Ghaith Haddad. Introduction UPPAAL is a tool for modeling, validation and verification of real-time systems. Appropriate for systems that can be.
ETTM: A Scalable, Fault-tolerant Network Manager Colin Dixon Hardeep Uppal UMass Amherst Vjekoslav Brajkovic, Dane Brandon, Thomas Anderson and Arvind.