A/C System 12 Downloads

IVY workbench project with the model used in the DSV-IS 2008 paper: Systematic analysis of control panel interfaces using formal tools (Campos and Harrison)

José Campos, on 02 Feb 2017
Download (v1.0)

A/C System model details

IVY workbench
MAL Interactors
University of Minho
Public
Author
http://hcispecs.di.uminho.pt/m/6 (Copy link)
IS@HASLab