Michel Turin

Statistics

Publications

Citations

H-Index

Active since

2008

Affiliations

European Space Research and Technology Centre(Current)

Michel Turin is an author at European Space Research and Technology Centre specializing in safety engineering, computer science, and software engineering.

Publications per year

2008–2009

Publications

Space Software Validation using Abstract Interpretation

Olivier Bouissou, Eric Conquet, Patrick Cousot et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 30 citations · Full text

Engineering, Aerospace Engineering, Computer Science +17

Integration of formal fault analysis in ASSERT: Case studies and lessons learnt

Pierre Bieber, J.-P. Blanquart, G. Durrieu et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2008 · 15 citations · Full text

Computing, Computer Science, Systems Engineering +17

1–2 of 2