Items Authored/Edited by Gordon, Diana
![]() | Up a level |
Number of items: 2.
2001
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]
1997
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]