DiSpel Cockpit: Specification, Verification, and Refinement of Resilience Scenarios.

Sebastian Frank, Aref El-Maarawi Tefur, M. Alireza Hakamian, Andr van Hoorn

Browse the full ECSA paper archive.