Search Constraints

Number of results to display per page
Results for: Creator / Instructor Mousavi, M. Remove constraint Creator / Instructor: Mousavi, M. Keywords Embedded computer systems Remove constraint Keywords: Embedded computer systems

Search Results

  • 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