×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [abstract semantics]
Patient Care Devices Infusion Pump Modeling Overview 2009.05.19 – San Diego Todd Cooper Breakthrough Solutions Foundry, Inc. Board, IHE International Co-chair,
213 views
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
214 views
1 Abstraction and Approximation via Abstract Interpretation: a systematic approach to program analysis and verification Giorgio Levi Dipartimento di Informatica,
217 views
Quantified Data Automata on Skinny Trees: an Abstract Domain for Lists
20 views