Distributed Runtime Verification of JADE Multiagent Systems

Daniela Briola, Viviana Mascardi, Davide Ancona. Distributed Runtime Verification of JADE Multiagent Systems. In David Camacho, Lars Braubach, Salvatore Venticinque, Costin Badica, editors, Intelligent Distributed Computing VIII - Proceedings of the 8th International Symposium on Intelligent Distributed Computing, IDC 2014, Madrid, Spain, September 3-5, 2014. Volume 570 of Studies in Computational Intelligence, pages 81-91, Springer, 2014. [doi]

Authors

Daniela Briola

This author has not been identified. Look up 'Daniela Briola' in Google

Viviana Mascardi

This author has not been identified. Look up 'Viviana Mascardi' in Google

Davide Ancona

This author has not been identified. Look up 'Davide Ancona' in Google