Browsing Theses by Author "Scott, Joseph"
Now showing items 1-2 of 2
-
Feasibility Analysis of Two Indirect Heat Pump Assisted Solar Domestic Hot Water Systems
Sterling, Scott Joseph (University of Waterloo, 2011-01-21)This thesis is an analysis of the simulated performance of two indirect heat pump assisted solar domestic hot water (i-HPASDHW) systems compared to two base systems: an electric domestic hot water (DHW) system and a ... -
Verifying Mutable Systems
Scott, Joseph (University of Waterloo, 2017-10-23)Model checking has had much success in the verification of single-process and multi-process programs. However, model checkers assume an immutable topology which limits the verification in several areas. Consider the security ...