• search hit 11 of 13
Back to Result List

Logic Synthesis of Assertions for Saftey-critical Applications

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
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