Complementing Testing of IEC61499 Function Blocks with Model-Checking
| Author: | Bernd Glatz, Fionn Cleary, Martin Horauer, Harald Schuster, Peter Balog |
|---|---|
| Parent Title (English): | Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016 |
| Document Type: | Conference Proceeding |
| Language: | English |
| Completed Date: | 2016/08/29 |
| 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 |
| Department: | Department Electronic Engineering |
| Research Focus: | Embedded Systems & Cyber-Physical Systems |
| Studienjahr: | 2015/2016 |
| Projects: | Import |
