Published May 17, 2021
| Version 6.10
Other
Open
The PROMELA model of ADAPOS
Description
The PROMELA model of ALICE Data Point Service (ADAPOS, see https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA042). This model is part of the work for my master's thesis with the title "Modelling a Distributed Data Acquisition System" at University of Helsinki.
Files
Files
(22.2 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:77ba63826aef0d9766520a00beb4b46d
|
22.2 kB | Download |
Additional details
Related works
- Is supplement to
- Other: 10.5281/zenodo.4745459 (DOI)