Title: Formal Methods Seminar: Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System Speaker: Jean-Baptiste Jeannin, Assistant Professor, University of Michigan – Ann Arbor Date: Wednesday, November 7, 2018 Time: 1:00PM…
Title: Formal Methods Seminar: Formal Verification of ACAS X, an Industrial Airborne Collision Avoidance System Speaker: Jean-Baptiste Jeannin, Assistant Professor, University of Michigan – Ann Arbor Date: Wednesday, November 7, 2018 Time: 1:00PM…