Verification of Neural Networks Meets PLC Code: An LHC Cooling Tower Control System at CERN.

Ignacio D. Lopez-Miguel, Borja Fernndez Adiego, Faiq Ghawash, Enrique Blanco Viuela

Browse the full EANN paper archive.