Curzon, Paul, Queen Mary University of London, 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.