GENERAL ENQUIRIES: Tel: + 27 12 841 2911 | Email:

Browsing by Subject "Observer-pattern"

Sort by: Order: Results:

  • Seotsanyana, M (2010-07)
    Robotic 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 ...