Switchable stochastic timed automata model of supply chain resilience in UPPAAL SMC, with an automated PRMM maturity-scoring toolchain.
python simulation formal-methods uppaal supply-chain-resilience stochastic-timed-automata statistical-model-checking process-resilience-maturity-model
-
Updated
Aug 16, 2026 - Python