An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems

Oleksandr Drozd, Oleksandr Martynyuk, Kostiantyn Zashcholkin, Julia Drozd. An Increase in Trustworthiness of Result Checking in Arithmetic Components of Embedded Systems. In Mykola Fisun, Yaroslav Krainyk, editors, Proceedings of the 1st International Workshop on Information-Communication Technologies & Embedded Systems (ICTES 2019), Mykolaiv, Ukraine, November 14-15, 2019. Volume 2516 of CEUR Workshop Proceedings, pages 177-189, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.