Einar Broch Johnsen
Einar Broch Johnsen
Home
Talks
Publications
Recent
All
Projects
Sirius
Service
Courses
Contact
Light
Dark
Automatic
Gustavo Rezende Silva
Joint Papers
SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
A Formal Model of Metacontrol in Maude
Cite
×