Items Authored/Edited by Rouff, Christopher A.

Up a level
Export as [feed] Atom [feed] RSS
Group by: Item Type | Date | No Grouping
Number of items: 3.

Book Section

[img]
Preview
Luck, Michael and d'Inverno, Mark. 2006. Formal Methods and Agent-Based Systems. In: Christopher A. Rouff; Michael Hinchey; James Rash; Walter Truszkowski and Diana Gordon-Spears, eds. Agent Technology from a Formal Perspective. Berlin, Germany: Springer, pp. 65-96. ISBN 9781852339470 [Book Section]

[img]
Preview
d'Inverno, Mark and Luck, Michael. 2001. Formal Agent Development: Framework to System. In: Diana Gordon; Michael G. Hinchey; Walt Truszkowski; James L. Rash and Christopher A. Rouff, eds. Formal Approaches to Agent-Based Systems. Berlin, Germany: Springer, pp. 133-147. ISBN 9783540427162 [Book Section]

Conference or Workshop Item

[img]
Preview
d'Inverno, Mark and Luck, Michael. 1997. 'Development and application of a formal agent framework'. In: Proceedings First IEEE International Conference on Formal Engineering Methods. Hiroshima, Japan. [Conference or Workshop Item]

This list was generated on Fri Mar 29 04:04:46 2024 GMT.