Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Recent Talks
All Talks
Publications
Recent Publications
All Publications
Projects
Recent Projects
All Projects
Sirius
Service
Recent Service
All Service
Teaching
Contact
Light
Dark
Automatic
BedreFlyt
What-If Scenarios for the BedreFlyt Digital Twin
In: Principles of Formal Quantitative Analysis. LNCS 15760. © Springer 2025.
Åsmund Aqissiaq Arild Kløvstad
,
Paul Kobialka
,
Riccardo Sieve
,
Andrea Pferscher
,
Laura Slaughter
,
Silvia Lizeth Tapia Tarifa
,
Einar Broch Johnsen
Preprint
Cite
DOI
Cite
×