1
Publications
14
Citations
1
H-Index
2014
Active since
Affiliations
Gil Bernabeu is an author at Écologie Fonctionnelle et Écotoxicologie des Agroécosystèmes specializing in formal verification, computer engineering, and system software.
Top concepts
EngineeringReliabilityVerificationSoftware DesignSystem SoftwareSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering
Publications per year
2014–2014
1
1
MBT for Global Platform Compliance Testing: Experience Report and Lessons Learned
Gil Bernabeu, Eddie Jaffuel, Bruno Legeard et al. · 2014 · 14 citations
Rows per page
1–1 of 1