Authors: Bogdan-Andrei Tabacaru, Infineon Technologies A...; Moomen Chaari, Infineon Technologies AG, DE; Wolfgang Ecker, Infineon Technologies AG, DE; Thomas Kruse, Infineon Technologies AG, DE; Cristiano Novello, Infineon Technologies AG, DE; Kai Liu, Siemens AG, DE; Andreas von Schwerin, Siemens AG, DE; Nadereh Hatami Mazinani, Robert Bosch GmbH, DE; Hendrik Post, Robert Bosch GmbH, DE
Abstract:
-
Publication Date: 2015/09/14
Location of Publication: FDL 2015, Forum on specification & Design Languages, Barcelona, ES
Keywords: Specification/Virtual Prototyping; Verification
