A/C System

2 versions

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)

Download (v. 2.0)

Show all versions

v. 2.0 28 Nov 2018 Update to 1.6+

Download

v. 1.0 02 Feb 2017 First version

Download

Language:

MAL interactors

Tool:

IVY workbench

Published:

28 Nov 2018

Author:

José Campos

Permalink:

Related Publications