Data di Pubblicazione:
2017
Citazione:
Parametric Runtime Verification of Multiagent Systems / Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana. - 3:(2017), pp. 1457-1459. ( 16th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2017 São Paulo, Brazil 8 maggio 2017).
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
monitoring; parametric runtime verification; trace expressions
Elenco autori:
Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana
Link alla scheda completa:
Titolo del libro:
Proceedings of the 16th Conference on Autonomous Agents and MultiAgentSystems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017