Michéle Cart is an author at Université de Montpellier specializing in transaction processing, verification, and data security.
Top concepts
EngineeringVerificationData SecurityFormal MethodsData ManagementSystem SoftwareComputer ScienceParallel ComputingFormal VerificationSystems Engineering
Publications per year
1984–1997
2
2
Certification by Intervals of Timestamps in Distributed Database Systems
Claude Boksenbaum, Michéle Cart, Jean Ferrié et al. · Very Large Data Bases · 1984 · 10 citations
Rows per page
1–2 of 2