Volume 69: Formal Methods for Interactive Systems 2013

DOI: http://dx.doi.org/10.14279/tuj.eceasst.69

Table of Contents

Preface

Preface to the proceedings of FMIS 2013
Judy Bowen, Steve Reeves
PDF

Articles

PVSio-web: a tool for rapid prototyping device user interfaces in PVS
Patrick Oladimeji, Paolo Masci, Paul Curzon, Harold Thimbleby
PDF
Stochastic Modelling and Analysis of Driver Behaviour
Antonio Cerone, Yishi Zhao
PDF
Automated theorem proving for the systematic analysis of an infusion pump
Michael D. Harrison, Paolo Masci, Jose Creissac Campos, Paul Curzon
PDF
Lightweight Interaction Modeling in Evolutionary Prototyping
Anke Dittmar, Reik Schachtschneider
PDF
Analysis of WIMP and Post WIMP Interactive Systems based on Formal Specification
José-Luis Silva, Camille Fayollas, Arnaud Hamon, Philippe palanque, Célia Martiinie, Eric Barboni
PDF
Developing and Verifying User Interface Requirements for Infusion Pumps: A Refinement Approach
Rimvydas Rukšėnas, Paolo Masci, Michael D. Harrison, Paul Curzon
PDF