kbirken

Model-based development, Automotive background, formal methods.

Company:itemisLocation:Stuttgart, Germany

Pinned Repositories

kbirken's Repositories