Title: Formal Methods Seminar: A Graphics Library for Rapid Prototyping Interactive Cockpit Displays Speaker: Paolo Masci, Senior Research Scientist, NIA When: Friday, February 15, 2019 Time: 10:30AM Location: NASA/LaRC, B1230-R264A Contact: Cesar Munoz, NASA/LaRC Abstract: This…
Tag: Paolo Masci
05-03-2018 | Paolo Masci: Rapid Prototyping and Formal Analysis of Interactive Systems in PVSio-Web
Title: Rapid Prototyping and Formal Analysis of Interactive Systems in PVSio-Web Speaker: Paolo Masci, Post-Doc Researcher, HASLab of the INESC-TEC Research Center (Portugal) and Visiting Researcher, Food and Drug Administration…