Enforcing safety requirements for industrial automation systems at runtime position paper.

Wikan Danar Sunindyo, Martin Melik-Merkumians, Thomas Moser, Stefan Biffl

Browse the full RE paper archive.