Please visit Jefferson Lab Event Policies and Guidance before planning your next event: https://www.jlab.org/conference_planning.

Oct 16 – 21, 2022
Marriott Newport News at City Center
US/Eastern timezone

Session

Breakout Session - Session 1: Critical PLC-Programs: How to Define “Software Reliability” And Use Formal Methods to Make Sure They Are Compliant with Specifications AND Session 2: Fault Tracking Show and Tell

Oct 18, 2022, 3:30 PM
Marriott Newport News at City Center

Marriott Newport News at City Center

740 Town Center Dr., Newport News, Virginia, USA 23606 Front Desk: +1 757-873-9299 TOLL FREE: +1-866-329-1758

Conveners

Breakout Session - Session 1: Critical PLC-Programs: How to Define “Software Reliability” And Use Formal Methods to Make Sure They Are Compliant with Specifications AND Session 2: Fault Tracking Show and Tell

  • There are no conveners in this block

Breakout Session - Session 1: Critical PLC-Programs: How to Define “Software Reliability” And Use Formal Methods to Make Sure They Are Compliant with Specifications AND Session 2: Fault Tracking Show and Tell: Breakout

  • Ken Baggett (Jefferson Lab)
  • rossano giachino (CERN)

Presentation materials

Building timetable...