Authoring, Analyzing, and Monitoring Requirements for a Lift-Plus-Cruise Aircraft

von Pressburger, Tom
Veröffentlicht in International Working Conference on Requirements Engineering: Foundation for Software Quality (29. : 2023 : Barcelona) Requirements engineering: foundation software quality (2023)

Capture, Analyze, Diagnose: Realızability Checking Of Requirements in FRET

von Katis, Andreas
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 2 (2022)

From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET

von Mavridou, Anastasia
Veröffentlicht in FM (24. : 2021 : Online) Formal Methods (2021)