K-Schnittstellen - Das aktuelle Schlagwort. - H. Klimesch (Inform. Spektrum, 1982)

An automatic approach to perform the verification of hardware designs according to the ISO26262 functional safety standard. - Enea Bagalini; Jacopo Sini; Matteo Sonza Reorda; Massimo Violante; H. Klimesch; Peter Sarson (LATS, 2017)