Felix Kossak

Latest

• How to Select the Suitable Formal Method for an Industrial Application: A Survey
• Landing Gear System: An ASM-based Solution for the ABZ Case Study