Parametric Runtime Verification of Multiagent Systems / Ancona, Davide; Ferrando, Angelo; Mascardi, Viviana. - ELETTRONICO. - (2017), pp. 1457-1459. ((Intervento presentato al convegno 16th Conference on Autonomous Agents and MultiAgent Systems (AAMAS'17) tenutosi a São Paulo, Brazil nel 8 maggio 2017.
Titolo: | Parametric Runtime Verification of Multiagent Systems |
Autori: | |
Data di pubblicazione: | 2017 |
Serie: | |
Handle: | http://hdl.handle.net/11567/887546 |
ISBN: | 978-151085507-6 |
Appare nelle tipologie: | 04.01 - Contributo in atti di convegno |
File in questo prodotto:
File | Descrizione | Tipologia | |
---|---|---|---|
p1457-ancona-parametric.pdf | Documento in versione editoriale | Administrator Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.