Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification
Contributo in Atti di convegno
Data di Pubblicazione:
2016
Citazione:
Automatic Partitions Extraction to Distribute the Runtime Verification
of a Global Specification / Ferrando, Angelo. - 1769:(2016), pp. 40-45. ( 2016 Doctoral Consortium of AI*IA, AI*IA-DC 2016 Genova, Italy 29 November 2016).
Tipologia CRIS:
Relazione in Atti di Convegno
Keywords:
Distributed monitoring; Distributed runtime verification; Multiagent systems; Trace expressions;
Elenco autori:
Ferrando, Angelo
Link alla scheda completa:
Titolo del libro:
Proceedings of the Doctoral Consortium of AI*IA 2016 co-located withthe 15th International Conference of the Italian Association for ArtificialIntelligence (AI*IA 2016), Genova, Italy, November 29, 2016
Pubblicato in: