CARA Slides

#!/usr/local/bin/php CARA Slides

CARA Home | CIS Home | Penn Engineering | Penn

CARA Slides

WRAIR, August 3, 2001:

"Formal Methods for CARA Development" by Insup Lee (University of Pennsylvania), Rance Cleaveland (SUNY at Stony Brook) and Elsa Gunter (NJIT)

"Formalization of CARA System Requirements." by Oleg Sokolsky (University of Pennsylvania)

Naval Postgraduate School, CARA Infusion Pump Meeting, Monterey, CA June 22, 2001:

"Case Study: Computer Assisted Resuscitation Algorithm (CARA) System" by Insup Lee (University of Pennsylvania)

"Modeling CARA algorithm" by Raoul Jetley and Purush Iyer (NC State University)

"Infusion Pump Controller: Requirements Definition - A Decision-Table Approach" by Richard Riehle

"Formal Modeling and Analysis of CARA Control Software" by Rance Cleaveland, Arnab Ray, Scott A. Smolka, Eugene W. Stark (SUNY at Stony Brook) and Arne Skou (Aalborg University)

CARA Home | CIS Home | Penn Engineering | Penn