Yann Hodique
blog
articles
projects
categories
tags
Publics
Curriculum Vitae
Bibliography
C initiation
C Unix
Realtime scheduler
Safety and optimization by typing in the context of open and constraint devices
Shell programming
Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint
Teaching
University Works
Validation de composants système