Design and verification of protected systems with integrated devices based on expert knowledge

V. A. Desnitskii, I. V. Kotenko. Design and verification of protected systems with integrated devices based on expert knowledge. Automatic Control and Computer Sciences, 49(8):648-652, 2015. [doi]

Abstract

Abstract is missing.