On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact) (English)
Free access
- New search for: Marković, Filip
- Further information on Marković, Filip:
- https://orcid.org/0000-0002-3210-3819
- New search for: Papadopoulos, Alessandro Vittorio
- Further information on Papadopoulos, Alessandro Vittorio:
- https://orcid.org/0000-0002-1364-8127
- New search for: Nolte, Thomas
- Further information on Nolte, Thomas:
- https://orcid.org/0000-0001-6132-7945
- New search for: Marković, Filip
- Further information on Marković, Filip:
- https://orcid.org/0000-0002-3210-3819
- New search for: Papadopoulos, Alessandro Vittorio
- Further information on Papadopoulos, Alessandro Vittorio:
- https://orcid.org/0000-0002-1364-8127
- New search for: Nolte, Thomas
- Further information on Nolte, Thomas:
- https://orcid.org/0000-0001-6132-7945
- New search for: Biondi, Alessandro
- Further information on Biondi, Alessandro:
- https://orcid.org/0000-0002-6625-9336
- New search for: Kritikakou, Angeliki
- Further information on Kritikakou, Angeliki:
- https://orcid.org/0000-0002-9293-469X
2021
-
ISSN:
- Research Data / Electronic Resource
-
Title:On the Convolution Efficiency for Probabilistic Analysis of Real-Time Systems (Artifact)
-
Contributors:Marković, Filip ( author ) / Papadopoulos, Alessandro Vittorio ( author ) / Nolte, Thomas ( author ) / Biondi, Alessandro ( editor ) / Kritikakou, Angeliki ( editor )
-
Published in:Dagstuhl Artifacts Series (DARTS) ; 7, 1 ; 1:1-1:2
-
Publisher:
- New search for: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
-
Publication date:2021-06-30
-
Size:2 pages , 448645 byte
-
Remarks:DARTS, Vol. 7, Special Issue of the 33rd Euromicro Conference on Real-Time Systems (ECRTS 2021), pages 1:1-1:2
-
ISSN:
-
DOI:
-
Type of media:Research Data
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Used by:
-
Licence:
-
Source: