Bicocca Open Archive

Logo unimib boa

Briola, D., Mascardi, V., Ancona, D. (2014). Distributed runtime verification of JADE and Jason Multiagent systems with prolog. In Proceedings of the 29th Italian Conference on Computational Logic, CILC 2014 (pp.319-323). CEUR-WS.

Distributed runtime verification of JADE and Jason Multiagent systems with prolog

Briola, D;
2014
paper
Runtime verification; protocol compliance verification; multiagent systems; monitoring; jade; jason; constrained global types
English
29th Italian Conference on Computational Logic, CILC 2014
2014
Proceedings of the 29th Italian Conference on Computational Logic, CILC 2014
CEUR WORKSHOP PROCEEDINGS
2014
1195
319
323
http://ceur-ws.org/
none
Briola, D., Mascardi, V., Ancona, D. (2014). Distributed runtime verification of JADE and Jason Multiagent systems with prolog. In Proceedings of the 29th Italian Conference on Computational Logic, CILC 2014 (pp.319-323). CEUR-WS.
02 - Intervento a convegno
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/186544
Citazioni
  • Scopus 16
  • ???jsp.display-item.citation.isi??? ND
Social impact