Werner Gabrisch

Publication Activity (10 Years)

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

Top Topics

Programming Language

Robotic Systems

Data Acquisition

Top Venues

Technical University Leuna-Merseburg, Germany (PHD)

Education History

Technical University Leuna-Merseburg, Germany

PHD

Publications

Werner Gabrisch
Decomposition of verification of machine programs based on control-state Abstract State Machines. BCI (Local) (2013)
Werner Gabrisch, Wolf Zimmermann
A Hoare-style verification calculus for control state ASMs. BCI (2012)