Electronic Communications of the EASST
Harrison, Michael D., Queen Mary University of London and Newcastle University, United Kingdom
-
Volume 69: Formal Methods for Interactive Systems 2013 - Articles
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.