2022 NSF CPS PI Meeting - Day 2 - Keynote: Necmiye Ozay

Submitted by Jason Gigax on

Keynote: Formal Methods for Cyber Physical Systems: State of the Art and Future Challenges

Keynote Speaker: Necmiye Ozay (University of Michigan)

Session Chair: David Corman (NSF)

  • 2022
  • CPS PI Meeting 2022