Browse by author - Certifiability of multi and many-cores architectures Access content directly