Stable Availability under Denial of Service Attacks through Formal Patterns.

Jonas Eckhardt, Tobias Mhlbauer, Musab AlTurki, Jos Meseguer, Martin Wirsing

Browse the full FASE paper archive.