Logic Synthesis of Assertions for Saftey-critical Applications
| Author: | Matthias Wenzl, Christian FibichORCiD, Peter Rössler, Herbert Taucher, Martin Matschnig |
|---|---|
| Parent Title (English): | Proceedings of the 2015 International Conference on Industrial Technology (ICIT), March 17-19, 2015 |
| Document Type: | Conference Proceeding |
| Language: | English |
| Completed Date: | 2015/03/17 |
| Responsibility for metadata: | Fachhochschule Technikum Wien |
| Release Date: | 2018/07/20 |
| GND Keyword: | Safety |
| 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: | 2014/2015 |
| Projects: | Import |
