• search hit 1 of 1
Back to Result List

Model Checking Embedded Software 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 Brauer, Florian Scheuer
Parent Title (German):International Journal on Information Technology, Communications, and Convergence, Inderscience, Vol. 1, No. 2
Document Type:Article
Language:German
Completed Date:2011/09/01
Date of first Publication:2019/02/14
Responsibility for metadata:Fachhochschule Technikum Wien
Release Date:2019/02/14
GND Keyword:Binary Code; Embedded Systems; Formal Verification; Model Checking; Static Analysis
Issue:Vol. 1, No. 2
Pagenumber:pp. 186-205
Publish on Website:1
Open Access:0
Reviewed:0
Department:Department Electronic Engineering
Research Focus:Embedded Systems & Cyber-Physical Systems
Studienjahr:2011/2012
Projects:Import