1
Publications
15
Citations
1
H-Index
2006
Active since
Affiliations
H. Kalla is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal specification, software design, and system software.
Top concepts
CompilersEngineeringVerificationFormal MethodsComplex SystemsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware Analysis
Publications per year
2006–2006
1
1
Automated translation of C/C++ models into a synchronous formalism
H. Kalla, Jean-Pierre Talpin, David Berner et al. · 2006 · 15 citations · Full text
Rows per page
1–1 of 1