Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation

التفاصيل البيبلوغرافية
العنوان:	Performance Evaluation of Agents and Multi-agent Systems Using Formal Specifications in Z Notation
المؤلفون:	Dimou, Christos^Aff11, Tzima, Fani^Aff11, Symeonidis, Andreas L.^{Aff11, Aff12}, Mitkas, Pericles A.^{Aff11, Aff12}
المساهمون:	Goebel, Randy, Series editor^Aff1, Tanaka, Yuzuru, Series editor^Aff2, Wahlster, Wolfgang, Series editor^Aff3, Cao, Longbing, editor^Aff4, Zeng, Yifeng, editor^Aff5, An, Bo, editor^Aff6, Symeonidis, Andreas L., editor^Aff7, Gorodetsky, Vladimir, editor^Aff8, Coenen, Frans, editor^Aff9, Yu, Philip S., editor^Aff10
المصدر:	Agents and Data Mining Interaction : 10th International Workshop, ADMI 2014, Paris, France, May 5-9, 2014, Revised Selected Papers. 9145:64-78
قاعدة البيانات:	Springer Nature eBooks

الوصف
ردمك:	9783319202297 9783319202303
DOI:	10.1007/978-3-319-20230-3_6