Patient Care Devices Infusion Pump Modeling Overview 2009.05.19 – San Diego Todd Cooper Breakthrough Solutions Foundry, Inc. Board, IHE International Co-chair,
SEC PI Meeting Annapolis, May 8-9, 2001 Component-Based Design of Embedded Control Systems Edward A. Lee & Jie Liu UC Berkeley with thanks to the entire.
1 Abstraction and Approximation via Abstract Interpretation: a systematic approach to program analysis and verification Giorgio Levi Dipartimento di Informatica,
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists