Coronavirus (Covid-19): Latest updates and information
Skip to main content Skip to navigation

Files for download

  Name Description File Size Last Editor Last Updated
PDF document header.pdf Header (including cover page, table of contents, lists of tables and figures, abstract, abbreviations etc). (719 KB) 30/11/06
PDF document chapter1.pdf Introduction (1.4 MB) 30/11/06
PDF document chapter2.pdf Definition-based state-transition models in the abstract (1.3 MB) 30/11/06
PDF document chapter3.pdf Software tools using dependency (1.4 MB) 30/11/06
PDF document chapter4.pdf The Scout notation (1.7 MB) 30/11/06
PDF document chapter5.pdf Definition-based state-transition models in application (1.6 MB) 30/11/06
PDF document chapter6.pdf Integrating definitive notations (1.4 MB) 30/11/06
PDF document chapter7.pdf Generalising single-agent definitive systems (2.2 MB) 30/11/06
PDF document chapter8.pdf Agent-oriented definitive programming (1.7 MB) 30/11/06
PDF document chapter9.pdf Summary and Conclusion (468 KB) 30/11/06
PDF document references.pdf References (995 KB) 30/11/06
PDF document appendixa.pdf [empty file - not yet scanned] Technical document of the Scout system (2 KB) 30/11/06
PDF document appendixb.pdf [empty file - not yet scanned] User guide to Admira (2 KB) 30/11/06
PDF document appendixc.pdf [empty file - not yet scanned] Program listing of Admira (2 KB) 30/11/06
PDF document appendixd.pdf [empty file - not yet scanned] The Jugs example (2 KB) 30/11/06
PDF document appendixe.pdf [empty file - not yet scanned] The visualisation example (2 KB) 30/11/06
PDF document appendixf.pdf [empty file - not yet scanned] The room example (2 KB) 30/11/06
PDF document appendixg.pdf [empty file - not yet scanned] The vehicle cruise control simulation example (2 KB) 30/11/06
PDF document appendixh.pdf [empty file - not yet scanned] The railway station simulation example (2 KB) 30/11/06