Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Sebastiano F. Finocchiaro"'
Autor:
Sebastiano F. Finocchiaro, Francesco Savarese, Danilo Vendraminetto, Paolo Camurati, Gianpiero Cabodi
Publikováno v:
IEEE Design & Test. 34:38-46
Editor’s note: The article presents a case study comparing two types of properties for formal verification of security requirements in embedded systems. — Wen Chen, NXP
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ffe2643dbba91e36a4a6474c52d693f
https://doi.org/10.1109/mdat.2017.2713393
https://doi.org/10.1109/mdat.2017.2713393
