Analysis of timed properties using the jump-diffusion approximation

Beccuti, Marco;Horvath, Andras;Sirovich, Roberta;Sproston, Jeremy
2017

14th European Workshop on Computer Performance Engineering, EPEW 2017
Berlino, Germania
7-8 Settembre 2017
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Springer Verlag
10497
69
84
9783319665825
http://springerlink.com/content/0302-9743/copyright/2005/
Diffusion approximation; Statistical model checking; Stochastic differential equations with jumps; Theoretical Computer Science; Computer Science (all)
Ballarini, Paolo; Beccuti, Marco*; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Sproston, Jeremy
File in questo prodotto:
File Dimensione Formato  
Jeremy_LectureNotes.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 784.18 kB
Formato Adobe PDF
784.18 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

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: http://hdl.handle.net/2318/1662648
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact