Formal Resilience Metric Characterization in Complex Digital Systems.

Damiano Zuccalà Jean-Marc Daveau Philippe Roche Katell Morin-Allory

Published in: ETS (2024)

Keyphrases

complex systems
high level
expert systems
software engineering
computer systems
data sets
image processing
multi agent systems
management system
formal model
physical systems
formal languages