Umair Siddique
Umair Siddique
Home
Activities
Publications
SafetyOps
Contact
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
Cite
×