Model Checking Assembly Code of an Industrial Knitting Machine
| Author: | Thomas Reinbacher, Martin Horauer, Bastian Schlich, Jörg Bauer, Florian Scheuer |
|---|---|
| Parent Title (German): | Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009 |
| Document Type: | Conference Proceeding |
| Language: | German |
| Completed Date: | 2009/12/10 |
| Date of first Publication: | 2019/02/04 |
| Responsibility for metadata: | Fachhochschule Technikum Wien |
| Release Date: | 2019/02/04 |
| GND Keyword: | Embedded Systems; Knitting Machine; Model Checking |
| First Page: | 97 |
| Last Page: | 104 |
| Publish on Website: | 1 |
| Open Access: | 0 |
| Reviewed: | 0 |
| Invited: | 0 |
| Keynote: | 0 |
| Department: | Department Electronic Engineering |
| Research Focus: | Embedded Systems & Cyber-Physical Systems |
| Studienjahr: | 2009/2010 |
| Projects: | Import |
