Login / Signup
Karim Tekkal
Publication Activity (10 Years)
Years Active: 2009-2009
Publications (10 Years): 0
</>
Publications
</>
David Delmas
,
Eric Goubault
,
Sylvie Putot
,
Jean Souyris
,
Karim Tekkal
,
Franck Védrine
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.
FMICS
(2009)
Olivier Bouissou
,
Eric Goubault
,
Sylvie Putot
,
Karim Tekkal
,
Franck Védrine
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
CAV
(2009)