Olivier Hainque is an author at Télécom Paris specializing in computer engineering, software engineering, and system software.
Top concepts
CompilersEngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisComputer EngineeringParallel Programming
Publications per year
1999–1999
1
1
Cronos: A Separate Compilation Toolset for Modular Esterel Applications
Olivier Hainque, Laurent Pautet, Yann Le Biannic et al. · Formal Methods · 1999 · 14 citations
Rows per page
1–1 of 1