Peer-reviewed open-access journal
published since 1998 by Procon Ltd.

Volume

55

ISIJ 55: Open Source Intelligence, Artificial Intelligence, and Human-centered Approaches to Cybersecurity and Countering Disinformation

Tobias Reinhard

First name

Tobias

Last name

Reinhard

Tobias Reinhard

"Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds."

arXiv:2403.00934

(2024):

Field of application

Concepts and Implementation

Policy, strategy and doctrine

C2 and coordination

Process Improvement

Risk Management

Technologies

Modelling and Simulation

OR & Systems Analysis

Deep Learning & AI

Emerging Technologies