guedemma

Personal information


name: Matthias Güdemann


formal methods
safety analysis
security
optimization

History


5 years 34 weeks