Egyed, Alexander
- Validation Obligations: A Novel Approach to Check Compliance between Requirements and their Formal Specification
2021/02/11 by Atif Mashkoor, Michael Leuschel, Mashkoor, Atif +4 · 3 citations
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services #cs.FL #cs.SE
- Application of Validation Obligations to Security Concerns
2022/07/07 by Sebastian Stock, Stock, Sebastian, Atif Mashkoor +3 · 1 citation
Engineering · Computer Science · #Safety Systems Engineering in Autonomy #Formal Methods in Verification #Advanced Software Engineering Methodologies