Didier Lime, Olivier H. Roux. Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Technique et Science Informatiques, 25(3):343-370, 2006. [doi]
@article{LimeR06,
title = {Vérification formelle des systèmes temps-réel avec ordonnancement préemptif},
author = {Didier Lime and Olivier H. Roux},
year = {2006},
url = {http://tsi.revuesonline.com/article.jsp?articleId=8318},
researchr = {https://researchr.org/publication/LimeR06},
cites = {0},
citedby = {0},
journal = {Technique et Science Informatiques},
volume = {25},
number = {3},
pages = {343-370},
}