Sidi Mohamed Beillahi

Latest

• Formal analysis of power electronic systems
• On the Formalization of Signal-Flow-Graphs in HOL
• Towards the application of formal methods in process engineering