Computer Science, IT: system validation

System Validation: Automata and behavioural equivalences

Provider: Coursera

Go to online course

Transparency note: Some course providers support the operation of our search portal with referral commissions.

Content

This online course helps to design embedded system behaviour that is structurally sound.

Add to my Course Planner

Study
Together!

EIT Digital

System Validation: Automata and behavioural equivalences

Instructor:	Professor Jan Friso Groote
Provided by:	Coursera
Course language:	English
Fees:	free course
Level:	intermediate
Certificate available?	(fee)
Format:	MOOC/online course

Go to online course

Transparency note: Some course providers support the operation of our search portal with referral commissions.

You need to accept cookies for external services to see this content.

Go to online course

Transparency note: Some course providers support the operation of our search portal with referral commissions.

How do you like the course 'System Validation: Automata and behavioural equivalences'?

Other online courses in Computer Science, IT

Udacity Ad

School of AI

Artificial Intelligence (AI)

Udacity

Udacity's School of AI offers high-quality Artificial Intelligence online courses.The courses cover machine learning and AI programming and also include more advanced topics...

Udemy Ad

Web Developer Bootcamp

Web Development, Web Design

Udemy

This online course gives an introduction to web development and web design.The course covers key technologies to create web sites and web applications. It includes HTML, CSS,...

Coursera Ad

Data Science Specialization

Introduction to Data Science

IBM

This online course program explores the fundamentals of Data Science for beginners.The video courses Explain the basics of Data ScienceIntroduce the key toolsLook at the...

Udemy Ad

Coding for Beginners

Introduction to Programming

Udemy

This online course gives an easy introduction to programming for complete beginners. No prior experience required!The course explains the basic concepts of coding. It then...

... more courses from this subject

Computer Science, IT: system validation

System Validation: Automata and behavioural equivalences

Content

EIT Digital

Other online courses in Computer Science, IT

School of AI

Web Developer Bootcamp

Data Science Specialization

Coding for Beginners

Cookies

Individual Settings

Technical

These are technical cookies required for the operation of the website.

Statistics

We use various services to better understand the user interest on our website and to further optimize our website for you. The data is anonymized.

External services

External services help us to improve the website performance.