Report - Runtime Monitoring based on Interface Speci cationsRuntime Monitoring based on Interface Speci cations Ivan Kurtev1 Jozef Hooman2;3 Mathijs Schuts4 1 Altran, Eindhoven, The Netherlands

Please pass captcha verification before submit form