J.-F. Molderez

Publications

Citations

H-Index

2005

Active since

Affiliations

Centre d'Excellence en Technologies de l'Information et de la Communication(Current)

J.-F. Molderez is an author at Centre d'Excellence en Technologies de l'Information et de la Communication specializing in software testing, engineering, and verification.

Top concepts

EngineeringVerificationSoftware TestingFormal VerificationSystems EngineeringFormal MethodsComplex SystemsSoftware DesignSystem SoftwareComputer Science

Publications per year

2005–2006

Publications

Early verification and validation of mission critical systems

Christophe Ponsard, Philippe Massonet, J.-F. Molderez et al. · Formal Methods in System Design · 2006 · 48 citations

Safety-critical System, Engineering, Software Testing +6

Early Verification and Validation of Mission Critical Systems

Christophe Ponsard, Philippe Massonet, André Rifaut et al. · Electronic Notes in Theoretical Computer Science · 2005 · 38 citations · Full text

Engineering, Requirement Modeling, Verification +22

Rows per page

1–2 of 2