Baker Building - Board Room, Department of Engineering / Online (Zoom Meeting ID: 842 0121 0459 Passcode: 338605)


2022-03-10 14:00: Modular analysis of linear systems using assume-guarantee contracts (Bart Besselink, University of Groningen)