Login Sign Up

System Validation (2): Model process behaviour

EIT Digital via Coursera

Coursera based on 10 ratings

Share

0

Overview

System Validation is the field that studies the fundamentals of system communication and information processing. It is the next logical step in computer science and improving software development in general. It allows automated analysis based on behavioural models of a system to see if a system works correctly. We want to guarantee that the systems does exactly what it is supposed to do. The techniques put forward in system validation allow to prove the absence of errors. It allows to...

Syllabus

  • Sequential behaviour
  • Data types
  • Parallel behaviour
System Validation (2): Model process behaviour
Go to Class

EIT Digital via Coursera

3 hours 53 minutes

Paid Certificate Available

English

On-Demand

Intermediate

Instructor

Jan Friso Groote

Reviews

No reviews yet. Be the first to review!