|
Number of items: 4.
Kefalas, P. and Holcombe, M. and Eleftherakis, G. and Gheorge, M.
(2003)
A Formal Method for the Development of Agent Based Systems.
Intelligent Agent Software Engineering.
.
Kefalas, P. and Eleftherakis, G. and Holcombe, M. and Stamatopoulou, I.
(2005)
Formal Modelling of the Dynamic Behaviour of Biology-Inspired Agent-Based Systems.
In Molecular Computational Models: Unconventional Approaches.
.
Eleftherakis, G. and Kefalas, P. and Sotiriadou, A.
(2002)
Formal Verification of Agent Models.
In: In Proceedings of the 2nd Hellenic Conference on AI, 2002.
Eleftherakis, G. and Kefalas, P.
(2003)
Formal Verification of Reactive Agents for Intelligent Control.
In: 12 ISAP Intelligent System Applications to Power Systems Conference.
This list was generated on Mon Sep 10 16:43:31 BST 2007.
|
