SkillsCast
BDD for Embedded System Design
SkillsCast
About the Speakers
Thank you to our sponsors and partners
Platinum
Gold
BDD for Embedded System Design
Mathias Soeken
Mathias Soeken is working on formal verification of UML/OCL models used as specification in the design of embedded systems as well as on reversible logic and quantum computation.
Melanie Diepenbeck
Melanie Diepenbeck is currently pursuing her PhD degree on "Behaviour Driven Development for System Design" at the University of Bremen in the Graduate School System Design (SyDe) and in the Group for Computer Architecture headed by Prof. Dr. Rolf Drechsler.