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

Volume

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

Views

Contributions to the Verification and Monitoring of Neural Network Systems

Fateh Boudardara

How to cite:

Fateh Boudardara

"Contributions to the Verification and Monitoring of Neural Network Systems"

Automatic Control Engineering,

Doctor,

(2024):

Authors:

Fateh Boudardara

Source:

Automatic Control Engineering,

Volume: Doctor,

(2024)

Publisher:

Université Gustave Eiffel, Université Lille Nord de France

Views

References

Mark Lawford, Alan Wassyng

"Formal Verification of Nuclear Systems: Past, Present, and Future."

Information & Security: An International Journal

28,

no. 2

(2012):

223-235.

Field of application

Concepts and Implementation

Policy, strategy and doctrine

Technologies

C4ISR

Architectures

Modelling and Simulation

OR & Systems Analysis

Cryptography

Data mining

Deep Learning & AI

Emerging Technologies

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

Contributions to the Verification and Monitoring of Neural Network Systems

The C-factor in the Cybersecurity Equation: The Importance of Student Cybersecurity Competitions

On Inequalities Bounding Imprecision and Nonspecificity Measures of Uncertainty

On the Effectiveness of Measures of Uncertainty of Basic Belief Assignments

Blockchain in Agriculture

Contributions to the Verification and Monitoring of Neural Network Systems

Authors:

Source:

Publisher:

Field of application

Concepts and Implementation

Technologies