Ahmed Cheriat is an author at Université de Tours specializing in formal methods, verification, and data management.
Top concepts
EngineeringVerificationData ModelingFormal MethodsData ManagementComputer ScienceFormal VerificationSoftware EngineeringManagementConstraints
Publications per year
2006–2007
2
2
Efficient Constraint Validation for Updated XML Database
Béatrice Bouchou, Ahmed Cheriat, Mírian Halfeld Ferrari et al. · 2007 · 10 citations
Rows per page
1–2 of 2