Abstract: This paper introduces the initial steps towards formal verification of a wave-union based time-to-digital converter (TDC) system designed in a field-programmable gate array (FPGA). Although ...
Abstract: This work aims to analyze different aspects of security for a network of two agents in a decentralized framework. Mainly, it deals with two concerns: attack detection and localization.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results