RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

On the timed analysis of big-data applications

Marconi F.;Quattrocchi G.;Baresi L.;Bersani M. M.;Rossi M.
2018-01-01
2018
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
978-3-319-77934-8
978-3-319-77935-5
Apache Spark; Big-Data Applications; Formal verification; Metric temporal logic
04.1 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
main.pdf

accesso aperto

: Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione 751.55 kB
Formato Adobe PDF
Visualizza/Apri
751.55 kB Adobe PDF Visualizza/Apri

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/11311/1120655
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 5
  • ???jsp.display-item.citation.isi??? 5
social impact