Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Research Focus
Embedded Systems & Cyber-Physical Systems
Refine
Document Type
Conference Proceeding
(1)
Lecture
(1)
Keywords
Safety (2)
(remove)
2
search hits
1
to
2
Export
BibTeX
CSV
RIS
XML
50
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Logic Synthesis of Assertions for Saftey-critical Applications
(2015)
Wenzl, Matthias
;
Fibich, Christian
;
Rössler, Peter
;
Taucher, Herbert
;
Matschnig, Martin
Logic Synthesis of Assertions for Saftey-critical Applications
(2015)
Wenzl, Matthias
;
Fibich, Christian
;
Rössler, Peter
;
Taucher, Herbert
;
Matschnig, Martin
1
to
2