PhD in Modular Control System Design using Assume-Guarantee Contracts (1.0 FTE)

PhD in Modular Control System Design using Assume-Guarantee Contracts (1.0 FTE)