Carlos Hernández Corbato

Joint Papers

• SUAVE: An Exemplar for Self-Adaptive Underwater Vehicles
• A Formal Model of Metacontrol in Maude