placeholder image

Leuschel, Michaël

Person

Positions

, Heinrich Heine University Düsseldorf

selected publications

academic article
- Modeling and Verifying an Arrival Manager using the formal Event-B Method. . 2025
conference paper
- Extended Algebraic State-Transition Diagrams. . 146-155. 2018

full name

Michaël Leuschel

Publications in VIVO

Co-author Network