Publisher's no.: YCST 2007/17.
Thesis (Ph.D.)--University of York, 2007.
Architectural reasoning for safety-critical software applications by Weihang Wu. Published by University of York, Dept. of Computer Science in 2007. Publication and catalogue information, links to buy online and reader comments.