Julien Boucaron. Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement. (Formal Modelling of Latency Insensitive Systems and Scheduling). PhD thesis, University of Nice Sophia Antipolis, France, 2007. [doi]
@phdthesis{hal-7716, title = {Modélisation formelle de systèmes Insensibles à la Latence et ordonnancement. (Formal Modelling of Latency Insensitive Systems and Scheduling)}, author = {Julien Boucaron}, year = {2007}, url = {https://tel.archives-ouvertes.fr/tel-00271620}, researchr = {https://researchr.org/publication/hal-7716}, cites = {0}, citedby = {0}, school = {University of Nice Sophia Antipolis, France}, }