J.-F. Ereau

Publications

Citations

H-Index

1997

Active since

Affiliations

Laboratoire d'Analyse et d'Architecture des Systèmes(Current)

Centre National de la Recherche Scientifique

Centre National d'Études Spatiales

J.-F. Ereau is an author at Laboratoire d'Analyse et d'Architecture des Systèmes specializing in systems engineering, computer science, and engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringFormal MethodsSoftware DesignSystem SoftwareHigh AvailabilitySpace EngineeringDistributed SystemsFormal Verification

Publications per year

1997–2002

Publications

Petri nets for the evaluation of redundant systems

J.-F. Ereau, M. Saleman, Robert Valette et al. · Reliability Engineering & System Safety · 1997 · 14 citations

Petri Net, Engineering, Stochastic Petri Net +6

Modeling and simulation of a satellite constellation based on Petri nets

J.-F. Ereau, M. Saleman · 2002 · 12 citations

Petri Net, Engineering, Satellite Communication +22

Rows per page

1–2 of 2