Electronic Communications of the EASST
Harrison, Michael D., School of Computing Science, Newcastle University, Newcastle-upon-Tyne, UK and 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.