Abdeldjalil Ledmi is an author at Université Larbi Tébessi specializing in formal methods, computer engineering, and system software.
Top concepts
EngineeringVerificationFormal MethodsCloud ComputingFault ToleranceSystem SoftwareComputer ScienceCluster ComputingDistributed SystemsFormal Verification
Publications per year
2018–2018
1
1
Rows per page
1–1 of 1