UPPAAL
Mahmoud Bazzal
mahmood1994ha
I build tools to enable Model-Based Systems Engineering
@itemis Dortmund
Max Kratz
maxkratz
PhD student @Echtzeitsysteme TU Darmstadt
Technical University of Darmstadt Germany
Marius Mikučionis
mikucionisaau
Software Engineer and Lecturer at Department of Computer Science, Aalborg University.
I develop and maintain Uppaal, also teach Selected Topics in Programming.
Aalborg University Aalborg, Denmark