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)
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)