Jens Frieben

Publication Activity (10 Years)

Years Active: 2012-2012
Publications (10 Years): 0

Top Topics

Qualitative Models

Dynamic Systems

Linear Time Invariant

Top Venues

Publications

Joel Greenyer, Jens Frieben
Consistency checking scenario-based specifications of dynamic systems by combining simulation and synthesis. BM-FA (2012)