Verification of human driven data-centric dynamic systems / Bagheri Hariri, B., Calvanese, D., Montali, M., DE GIACOMO, G., Deutsch, A.. - STAMPA. - SS-14-02:(2014), pp. 80-85. (2014 AAAI Spring Symposium Palo Alto, CA; USA 24-26 March 2014).
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
|
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.


