This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
hekate:cases:hekate_case_thermostat:ard_design [2009/10/24 15:00] gjn 1st draft |
hekate:cases:hekate_case_thermostat:ard_design [2009/10/24 15:07] gjn |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| * {{hekate_case_thermostat-mdl.pl|The full VARDA model (in Prolog)}} | * {{hekate_case_thermostat-mdl.pl|The full VARDA model (in Prolog)}} | ||
| * {{hekate_case_thermostat-ard.hml|HML file with the full ARD model}} | * {{hekate_case_thermostat-ard.hml|HML file with the full ARD model}} | ||
| - | * {{hekate_case_thermostat-prt.hml|HML file with the XTT prototypes and the full ARD model}} | ||
| ^ ARD diagram of the system ^ Corresponding THP ^ Full ARD Model of the system ^ | ^ ARD diagram of the system ^ Corresponding THP ^ Full ARD Model of the system ^ | ||
