Catalogo dei prodotti della ricerca

Verification of human driven data-centric dynamic systems / Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; DE GIACOMO, Giuseppe; Deutsch, Alin. - STAMPA. - SS-14-02:(2014), pp. 80-85. (Intervento presentato al convegno 2014 AAAI Spring Symposium tenutosi a Palo Alto, CA; USA nel 24-26 March 2014).

Verification of human driven data-centric dynamic systems

DE GIACOMO, Giuseppe;
2014
2014
2014 AAAI Spring Symposium
Artificial Intelligence
04 Pubblicazione in atti di convegno::04b Atto di convegno in volume
Verification of human driven data-centric dynamic systems / Bagheri Hariri, Babak; Calvanese, Diego; Montali, Marco; DE GIACOMO, Giuseppe; Deutsch, Alin. - STAMPA. - SS-14-02:(2014), pp. 80-85. (Intervento presentato al convegno 2014 AAAI Spring Symposium tenutosi a Palo Alto, CA; USA nel 24-26 March 2014).
04b Atto di convegno in volume
File allegati a questo prodotto
File Dimensione Formato  
VE_2014_11573-950789.pdf

solo gestori archivio

Tipologia: Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 310.58 kB
Formato Adobe PDF
  Contatta l'autore
310.58 kB Adobe PDF   Contatta l'autore

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/11573/950789
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
social impact