Cited By
View all- Karmakar R(2024)A graphical tool for formal verification using Event-B modelingMultimedia Tools and Applications10.1007/s11042-023-15993-883:4(10899-10923)Online publication date: 1-Jan-2024
- Catano N(2023)Program Synthesis for Cyber-ResilienceIEEE Transactions on Software Engineering10.1109/TSE.2022.316867249:3(962-972)Online publication date: 1-Mar-2023
- Alkhammash E(2020)Formal modelling of OWL ontologies-based requirements for the development of safe and secure smart city systemsSoft Computing - A Fusion of Foundations, Methodologies and Applications10.1007/s00500-020-04688-z24:15(11095-11108)Online publication date: 1-Aug-2020
- Show More Cited By