Modelling and Verification of Survivability Requirements for Critical Systems

Simona Bernardi, Lacramioara Dranca, José Merseguer

How to cite:

Simona Bernardi, Lacramioara Dranca, José Merseguer

"Modelling and Verification of Survivability Requirements for Critical Systems"

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS,

(2014):

Authors:

Simona Bernardi, Lacramioara Dranca, José Merseguer

Source:

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS,

(2014)

Views

References

Loren Diedrichsen

"Command and Control: Operational Requirements and System Implementation."

Information & Security: An International Journal

(2000):

23-40.

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

Modelling and Verification of Survivability Requirements for Critical 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

Modelling and Verification of Survivability Requirements for Critical Systems

Authors:

Source:

Field of application

Concepts and Implementation

Technologies