@phdthesis{Abd12b,
title = { {Rigorous Implementation of Real-Time Systems} },
author = {Abdellatif, Tesnim},
month = {Jun},
year = {2012},
type = {Theses},
number = {2012},
school = {{Universit{\'e} de Grenoble}},
team = {DCS, RSD},
keywords = {Real-time operating systems ; Adaptive systems ; Scheduling ; Real-time programming ; Component-based systems ; Syst{\`e}mes temps-r{\'e}el ; Syst{\`e}mes adaptatifs ; Ordonnancement ; V{\'e}rification ; Programmation temps-r{\'e}e ; Syst{\`e}mes {\`a} base de composants},
pdf = {https://tel.archives-ouvertes.fr/tel-00744508/file/23113_ABDELLATIF_2012_archivage1.pdf},
}