Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification / Ferrando, Angelo. - 1769:(2016), pp. 40-45. (Intervento presentato al convegno 2016 Doctoral Consortium of AI*IA, AI*IA-DC 2016 tenutosi a Genova, Italy nel 29 November 2016).

Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification

Angelo Ferrando
2016
2016
2016 Doctoral Consortium of AI*IA, AI*IA-DC 2016
Genova, Italy
29 November 2016
2-s2.0-85009461328
1769
40
45
Ferrando, Angelo
Automatic Partitions Extraction to Distribute the Runtime Verification of a Global Specification / Ferrando, Angelo. - 1769:(2016), pp. 40-45. (Intervento presentato al convegno 2016 Doctoral Consortium of AI*IA, AI*IA-DC 2016 tenutosi a Genova, Italy nel 29 November 2016).
File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate

Licenza Creative Commons
I metadati presenti in IRIS UNIMORE sono rilasciati con licenza Creative Commons CC0 1.0 Universal, mentre i file delle pubblicazioni sono rilasciati con licenza Attribuzione 4.0 Internazionale (CC BY 4.0), salvo diversa indicazione.
In caso di violazione di copyright, contattare Supporto Iris

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11380/1331815
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? ND
social impact