Emmanuel Bayse is an author at Université Paris-Sud specializing in formal verification, formal methods, and verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceSoftware TestingSoftware AnalysisFormal VerificationSystems EngineeringMeasurementSoftware Design
Publications per year
2005–2009
2
2
A passive testing approach based on invariants: application to the WAP
Emmanuel Bayse, Ana Cavalli, Manuel Núñez et al. · Computer Networks · 2005 · 104 citations
Passive Testing Approach, Engineering, Computational Testing +15
Rows per page
1–2 of 2