placeholder image

Wätzoldt, Sebastian

Person

Positions

Hasso Plattner Institute

selected publications

conference paper
- Automatic transformation of abstract AUTOSAR architectures to timed automata. . 2012

full name

Sebastian Wätzoldt

Publications in VIVO

Co-author Network