On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact)
Author(s) -
Filip Markovic,
Alessandro Vittorio Papadopoulos,
Thomas Nolte
Publication year - 2021
Publication title -
dagstuhl artifacts ser.
Language(s) - English
DOI - 10.4230/darts.7.1.1
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom