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
Page not found
Perhaps you were looking for one of these?
Latest
Talks
iFM 2024
EDTconf 2024
FM 2024
ECMFA 2024
A Digital Twin of the Oslo Fjord
Publications
Proving Correctness of Parallel Implementations of Transition System Models
GreenhouseDT: An Exemplar for Digital Twins
Projects
Cite
×