Antoine Miné. Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities. Electronic Notes in Theoretical Computer Science, 331:3-39, 2017. [doi]
@article{Mine17,
title = {Static Analysis of Embedded Real-Time Concurrent Software with Dynamic Priorities},
author = {Antoine Miné},
year = {2017},
doi = {10.1016/j.entcs.2017.02.002},
url = {http://dx.doi.org/10.1016/j.entcs.2017.02.002},
researchr = {https://researchr.org/publication/Mine17},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {331},
pages = {3-39},
}