2
Publications
26
Citations
2
H-Index
1997
Active since
M. Saleman is an author at Centre National d'Études Spatiales specializing in engineering, systems engineering, and computer science.
Top concepts
EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware DesignSystem SoftwareHigh AvailabilitySpace EngineeringDistributed SystemsFormal Verification
Publications per year
1997–2002
2
2
Petri nets for the evaluation of redundant systems
J.-F. Ereau, M. Saleman, Robert Valette et al. · Reliability Engineering & System Safety · 1997 · 14 citations
Rows per page
1–2 of 2