Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems von Давидюк, А. В., Зубок, В. Ю.

Volltext