Complementing Testing of IEC61499 Function Blocks with Model-Checking
Author: | Bernd Glatz, Fionn Cleary, Martin Horauer, Harald Schuster, Peter Balog |
---|---|
Document Type: | Lecture |
Language: | English |
Date of first Publication: | 2018/07/25 |
Responsibility for metadata: | Fachhochschule Technikum Wien |
Release Date: | 2018/07/25 |
GND Keyword: | Embedded Systems |
Publish on Website: | 1 |
Open Access: | 0 |
Reviewed: | 0 |
Invited: | 0 |
Keynote: | 0 |
Date of the Talk: | 29.08.2016 |
Poster: | 0 |
Department: | Department Electronic Engineering |
Research Focus: | Embedded Systems & Cyber-Physical Systems |
Studienjahr: | 2015/2016 |
Projects: | Import |