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 |
|---|
