hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
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 |