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
Juliane Päßler
PhD Student
Dept. of Informatics, University of Oslo
Latest
A Configurable Software Model of a Self-Adaptive Robotic System
Formal Modelling and Analysis of a Self-Adaptive Robotic System
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
A Formal Model of Metacontrol in Maude
Cite
×
