Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
Quantitative Evaluation of Systems : 20th International Conference, QEST 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings
 
ISBN
978-3-031-43835-6
 
Editor Herausgeber_in
 
Publisher Herausgeber
IEEE
 
Place of publishing Erscheinungsort
Piscataway
 
Volume Band
14287
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Garlich, Lina ; Dobe, Oyendrila ; Ábrahám, Erika ; Bartocci, Ezio ; Bonakdarpour, Borzoo Introducing Asynchronicity to Probabilistic HyperpropertiesInproceedings Konferenzbeitrag 15-Sep-2023