Research Online

Logo

Goldsmiths - University of London

Structuring a Z specification to provide a formal framework for autonomous agent systems

Luck, Michael and d'Inverno, Mark. 1995. Structuring a Z specification to provide a formal framework for autonomous agent systems. In: Jonathan P. Bowen and Michael G. Hinchey, eds. ZUM '95: The Z Formal Specification Notation. 967 Berlin, Germany: Springer, pp. 46-62. ISBN 9783540602712 [Book Section]

[img]
Preview
Text (Structuring a Z specification to provide a formal framework for autonomous agent systems)
Structuring a Z specification to provide a formal framework for autonomous agent systems.pdf

Download (69kB) | Preview

Item Type:

Book Section

Identification Number (DOI):

https://doi.org/10.1007/3-540-60271-2_112

Departments, Centres and Research Units:

Computing

Dates:

DateEvent
1995Published

Item ID:

8775

Date Deposited:

19 Sep 2013 14:46

Last Modified:

09 Jul 2018 17:58

URI:

http://research.gold.ac.uk/id/eprint/8775

View statistics for this item...

Edit Record Edit Record (login required)