A/C System 26 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
A/C System model details
IVY workbench | |
MAL Interactors | |
University of Minho | |
Public | |
Author | |
localhostm/6 (Copy link) | |
ISE@HASLab |