Author:Seotsanyana, MDate:Jul 2010Robotic computer systems are increasingly ubiquitous in everyday life and this has led to a need to develop safe and reliable systems. To ensure safety and reliability of these systems, the following three main verification techniques are ...Read more
Author:Seotsanyana, M; Geldenhuys, JDate:Nov 2009The ever-increasing reliance of society on computers has led to a need for highly reliable systems. Computer systems perform critical functions in a number of areas ranging from online transaction processing (such as banking systems) to ...Read more