Analyzing the Restart Behavior of Industrial Control Applications.

Stefan Hauck-Stattelmann, Sebastian Biallas, Bastian Schlich, Stefan Kowalewski, Raoul Jetley

Browse the full FM paper archive.