Other Open Access

The PROMELA model of ADAPOS

John Lång

Thesis supervisor(s)

Keijo Heljanko

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 (22.2 kB)
Name Size
ADAPOS-model-v6.10.tar.gz
md5:77ba63826aef0d9766520a00beb4b46d
22.2 kB Download
45
5
views
downloads
All versions This version
Views 4545
Downloads 55
Data volume 111.2 kB111.2 kB
Unique views 3333
Unique downloads 55

Share

Cite as