
SSI Properties Revisited
Boissinot, Benoit, Brisk, Philip, Darte, Alain, Rastello, FabriceVolume:
11S
Langue:
english
Journal:
ACM Transactions on Embedded Computing Systems
DOI:
10.1145/2180887.2180898
Date:
June, 2012
Fichier:
PDF, 345 KB
english, 2012