ICALEPCS 2017 Workshop: PLC based control systems

Session

Testing & verification

7 Oct 2017, 14:30

Barcelona (Spain)

Conveners

Testing & verification

• Enrique Blanco Vinuela (CERN)

32. FRIB PLC Testing and Verification process

Kelly Davidson (FRIB, USA)

07/10/2017, 14:30

33. Formal Verification applied to PLC programs

Borja Fernandez Adiego (CERN)

07/10/2017, 14:45