Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems


Luck, M. and d'Inverno, M., (1995) Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems Bowen, J. P. and Hinchey, M. G. (eds.) At ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Lecture Notes in Computer Science. , 48--62.

Download

Full text not available from this repository.

Item Type: Conference or Workshop Item (Other)
Venue - Dates: ZUM'95: The Z Formal Specification Notation, 9th International Conference of Z Users, Lecture Notes in Computer Science, 1995-01-01
Organisations: Electronics & Computer Science
ePrint ID: 253848
Date :
Date Event
1995Published
Date Deposited: 07 Sep 2000
Last Modified: 17 Apr 2017 23:21
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/253848

Actions (login required)

View Item View Item