Presenter Full Program · Contributors · Organizations · Search Program · Flagged · Happening NowMore…Search ProgramFlaggedHappening NowSiddhartha BhattacharyyaFlorida Institute of TechnologyPresentationsPosterCan Someone Prove Your Operator Won’t Get Distracted? A Gentle Introduction to Formal Methods in Human Factors5:30pm - 6:30pm CDT Wednesday, October 15th Riverside East
