1
Publications
36
Citations
1
H-Index
2016
Active since
Affiliations
Si-Mohamed Lamraoui is an author at The Graduate University for Advanced Studies, SOKENDAI specializing in formal methods, reliability engineering, and engineering.
Top concepts
EngineeringVerificationFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSystems Engineering
Publications per year
2016–2016
1
1
Rows per page
1–1 of 1