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
Feedback
Feedback
If you experience a bug or would like to see an addition or change on the current page, feel free to leave us a message.
Image CAPTCHA
Enter the characters shown in the image.
This question is for testing whether or not you are a human visitor and to prevent automated spam submissions.