On the Safe IOCOS relation for Testing Safety PLC Code.

Adnan Khan, Martin Fabian

Browse the full ETFA paper archive.