Design and Verification of Restart-Robust Industrial Control Software.

Dimitri Bohlender, Stefan Kowalewski

Browse the full IFM paper archive.