Werner Gabrisch

According to our database, Werner Gabrisch authored at least 3 papers between 1981 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2013

Decomposition of verification of machine programs based on control-state Abstract State Machines.

Werner Gabrisch

Proceedings of the Local Proceedings of the Sixth Balkan Conference in Informatics, 2013

2012

A Hoare-style verification calculus for control state ASMs.

Werner Gabrisch, Wolf Zimmermann

Proceedings of the Balkan Conference in Informatics, 2012, 2012

1981

Ein Beitrag zur Anwendung des Prinzips der gleichungsorientierten Simulation zur Berechnung des statischen Verhaltens verfahrenstechnischer Systeme.

Werner Gabrisch

PhD thesis, 1981