?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adissertation&rft.aulast=Zhao&rft.aufirst=X.&rft.degree=Doctoral&rft.date=2016&rft.title=On+the+probability+of+perfection+of+Software-Based+systems&rft.inst=School+of+Mathematics%2C+Computer+Science+%26+Engineering