Atif Mashkoor
- Validation Obligations: A Novel Approach to Check Compliance between\n Requirements and their Formal Specification
2021/02/11 by Atif Mashkoor, Michaël Leuschel, Mashkoor, Atif +3 · 2 citations
Computer Science · #Advanced Software Engineering Methodologies #Model-Driven Software Engineering Techniques #Service-Oriented Architecture and Web Services
- Application of AI to formal methods - an analysis of current trends
2024/11/22 by Sebastian Stock, Stock, Sebastian, Jannik Dunkelau +3 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Fuzzy Logic and Control Systems #Logic in Computer Science (cs.LO) #Machine Learning (cs.LG)