A/C System 28 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 |
AC model