Search Constraints

Number of results to display per page
Results for: Affiliation Delft University of Technology Remove constraint Affiliation: Delft University of Technology Creator / Instructor Mousavi, M. Remove constraint Creator / Instructor: Mousavi, M. Resource Type Courseware Remove constraint Resource Type: Courseware Year 2016 Remove constraint Year: 2016

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