Search Constraints

Number of results to display per page
Results for: Keywords Embedded computer systems Remove constraint Keywords: Embedded computer systems Polyu oer sim No Remove constraint Polyu oer sim: No

Search Results

  • Video 
    How It Works: Internet of Things

    How It Works: Internet of Things

    The Internet of Things gives us access to the data from millions of devices. But how does it work, and what can we do with all that data? Find out in this animated tutorial from IBM's Think Academy. For more information on IBM and the Internet of Things, please visit: http://www.ibm.com/IoT

    Subjects:
    Electronic and Information Engineering
    Keywords:
    Embedded computer systems Internet of things
    Resource Type:
    Video
     
  • Courseware 
    System Validation

    System Validation

    The purpose of this course is to learn how to specify the behavior of embedded systems and to experience the design of a provably correct system. In this course you will learn how to formally specify requirements and to prove (or disprove) them on the behaviour. With a practical assignment you will experience how to apply the techniques in practice.

    Subjects:
    Computing
    Keywords:
    Embedded computer systems
    Resource Type:
    Courseware