You've already forked RESSAC_Use_Case
mirror of
https://github.com/AdaCore/RESSAC_Use_Case.git
synced 2026-02-12 12:42:59 -08:00
Enhancement of scenario definition (quantification of parameters, timelines etc.) Safety zones on some parameters. Comprehensive list of the failure modes.