Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems.

Julius Adelt, Robert Mensing, Paula Herber

Browse the full FM paper archive.