Maxim Storetvedt

Publication Activity (10 Years)

Years Active: 2022-2022
Publications (10 Years): 1

Top Topics

Formal Verification

Grid Middleware

Coloured Petri Nets

Top Venues

Publications

Maxim Storetvedt, Latchezar Betev, Nikola Hardi, Håvard Helstrup, Kristin Fanebust Hetland, Bjarte Kileng
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets. Petri Nets (2022)