Analysis of timed properties using the jump-diffusion approximation / Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy. - 10497:(2017), pp. 69-84. ((Intervento presentato al convegno 14th European Workshop on Computer Performance Engineering, EPEW 2017 tenutosi a Berlino, Germania nel 7-8 Settembre 2017 [10.1007/978-3-319-66583-2_5].
Titolo: | Analysis of timed properties using the jump-diffusion approximation | |
Autori Riconosciuti: | ||
Autori: | Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy | |
Data di pubblicazione: | 2017 | |
Editore: | Springer Verlag | |
Titolo del libro: | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
Volume: | 10497 | |
Pagina iniziale: | 69 | |
Pagina finale: | 84 | |
Nome del convegno: | 14th European Workshop on Computer Performance Engineering, EPEW 2017 | |
Luogo del convegno: | Berlino, Germania | |
Anno del convegno: | 7-8 Settembre 2017 | |
Digital Object Identifier (DOI): | 10.1007/978-3-319-66583-2_5 | |
ISBN: | 9783319665825 | |
URL: | http://springerlink.com/content/0302-9743/copyright/2005/ | |
Parole Chiave: | Diffusion approximation; Statistical model checking; Stochastic differential equations with jumps; Theoretical Computer Science; Computer Science (all) | |
Appare nelle tipologie: | 04A-Conference paper in volume |
File in questo prodotto:
File | Descrizione | Tipologia | Licenza | |
---|---|---|---|---|
Jeremy_LectureNotes.pdf | PDF EDITORIALE | Utenti riconosciuti Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.