Masci, Paolo, Queen Mary University of London School of Electronic Engineering and Computer Science Mile End, London E1 4NS, United Kingdom
-
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.