hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Thomas Reinbacher, Michael Kramer, Martin Horauer, Bastian Schlich
Parent Title (English):Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier
Document Type:Conference Proceeding
Language:English
Completed Date:2008/06/11
Date of first Publication:2019/02/04
Responsibility for metadata:Fachhochschule Technikum Wien
Release Date:2019/02/04
GND Keyword:Embedded Model Checking; Embedded Systems
First Page:277
Last Page:280
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:2007/2008
Projects:Import