- Bibliography
Mon, Apr 9, 2012
- Realtime scheduler
Mon, Apr 9, 2012
- Safety and optimization by typing in the context of open and constraint devices
Mon, Apr 9, 2012
- Sûreté et optimisation par les systèmes de types en contexte ouvert et contraint
Mon, Apr 9, 2012
- University Works
Mon, Apr 9, 2012
- Validation de composants système
Mon, Apr 9, 2012