Authors: Moomen Chaari, Infineon Technologies AG, DE; Wolfgang Ecker, Infineon Technologies AG, DE; Bogdan-Andrei Tabacaru, Infineon Technologies A...; Thomas Kruse, Infineon Technologies AG, DE; Cristiano Novello, Infineon Technologies AG, DE
Zusammenfassung:
-
Publication Date: 2016/06/29
Location of Publication: DSN (Dependable Systems and Networks) 2016, Toulouse, FR
Keyword: Verification