Browsing by Author "Masci, Paolo"
Now showing items 1-1 of 1
-
Integrating user design and formal models within PVSio-Web
Watson, Nathaniel; Reeves, Steve; Masci, Paolo (2018)Creating formal models of interactive systems has wide reaching benefits, not only for verifying low-level correctness, but also as a tool for ensuring user interfaces behave logically and consistently. Despite this, tools ...
Co-authors for Paolo Masci
Paolo Masci has 2 co-authors in Research Commons.