1
Publications
97
Citations
1
H-Index
1988
Active since
Jean-Paul Billon is an author specializing in formal methods, hardware security, and formal verification.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingHardware SecurityCircuit ComplexityFormal VerificationComputer Engineering
Publications per year
1988–1988
1
1
Rows per page
1–1 of 1