Electronic Communications of the EASST
Campos, Jose Creissac, Dep. Informatica, Universidade do Minho, Braga and HASLab/INESC TEC Braga, Portugal
-
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.