Electronic Communications of the EASST
Curzon, Paul, Queen Mary University of London School of Electronic Engineering and Computer Science Mile End, London E1 4NS
-
Volume 69: Formal Methods for Interactive Systems 2013 - Articles
Automated theorem proving for the systematic analysis of an infusion pump
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.