Stefan Kowalewski

• Emissionszertifikatehandel Im Europäischen Luftverkehr
• Formal Methods for Industrial Critical Systems
• Modelling and Control of Hybrid Dynamical Systems
• Tools and Algorithms for the Construction and Analysis of Systems