Vera Chow

According to our database, Vera Chow authored at least 1 paper in 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2015

Formal Verification of Real-Time Function Blocks Using PVS.

Linna Pang, Chen-Wei Wang, Mark Lawford, Alan Wassyng, Josh Newell, Vera Chow, David Tremaine

Proceedings of the Proceedings 4th International Workshop on Engineering Safety and Security Systems, 2015