Vera Chow

Publication Activity (10 Years)

Years Active: 2015-2015
Publications (10 Years): 0

Top Topics

Planning Domains

Formal Verification

Top Venues

Publications

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine
Formal Verification of Real-Time Function Blocks Using PVS. ESSS (2015)