Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michael Geisinger
Model-Based Specification of Timing Requirements
A Software Architecture for Model-Based Programming of Robot Systems