Visible to the public 2022 NSF CPS PI Meeting - Day 2 - Keynote: Necmiye OzayConflict Detection Enabled

Submitted by JasonGigax on Wed, 02/01/2023 - 4:03pm
Video: 

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)

Contributor(s): 
Necmiye Ozay
David Corman
Sponsor(s): 
National Science Foundation