• search hit 4 of 7
Back to Result List

Model Checking Assembly Code of an Industrial Knitting Machine

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
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