Harrison, Michael
-
Volume 22: Formal Methods for Interactive Systems 2009 - Preface
Preface
Details PDF -
Volume 45: Formal Methods for Interactive Systems 2011 - Articles
Modelling and analysing the interactive behaviour of an infusion pump
Abstract PDF
Hosted By Universitätsbibliothek TU Berlin.