Guillaume Infantes

Latest

• A Model-Checking Approach to Analyse Temporal Failure Propagation with AltaRica