Proving the Safety of a Sliding Window Protocol with Event-B

von Coudert, Sophie
Veröffentlicht in ABZ (Veranstaltung : 8. : 2021 : Online) Rigorous State-Based Methods (2021)

W-Sec: A Model-Based Formal Method for Assessing the Impacts of Security Countermeasures

von Sultan, Bastien
Veröffentlicht in MODELSWARD (Veranstaltung : 9. : 2021 : Online) Model-Driven engineering and software development (2023)