• search hit 6 of 7
Back to Result List

Motivating Model Checking of Embedded Systems Software

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich
ISBN:978-1-4244-2367-5
Parent Title (English):EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China
Document Type:Conference Proceeding
Language:English
Completed Date:2008/10/12
Date of first Publication:2019/02/04
Responsibility for metadata:Fachhochschule Technikum Wien
Release Date:2019/02/04
GND Keyword:Embedded Systems
First Page:546
Last Page:551
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