Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
hekate:cases:hekate_case_thermostat:ard_design [2009/10/24 13:00]
gjn 1st draft
hekate:cases:hekate_case_thermostat:ard_design [2017/07/17 08:08] (current)
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 ^
hekate/cases/hekate_case_thermostat/ard_design.txt · Last modified: 2017/07/17 08:08 (external edit)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0