• search hit 5 of 13
Back to Result List

Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Thomas Reinbacher, Martin Horauer, Bastian Schlich
Parent Title (English):roceedings of the 12th IEEE Symposium on Design and Diagnostics of Electronic Systems (DDECS 2009), April 15-17, 2009, Liberec, Czech Republic
Document Type:Conference Proceeding
Language:English
Completed Date:2009/04/15
Date of first Publication:2019/02/04
Responsibility for metadata:Fachhochschule Technikum Wien
Release Date:2019/02/04
GND Keyword:Embedded Systems; Testing
First Page:114
Last Page:119
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:2008/2009
Projects:Import