%0 Conference Paper %1 conf/rtas/VanhemsRNG22 %A Vanhems, Florian %A Rusu, Vlad %A Nowak, David %A Grimaud, Gilles %B RTAS %D 2022 %I IEEE %K dblp %P 281-292 %T A Formal Correctness Proof for an EDF Scheduler Implementation. %U http://dblp.uni-trier.de/db/conf/rtas/rtas2022.html#VanhemsRNG22 %@ 978-1-6654-9998-9

@inproceedings{conf/rtas/VanhemsRNG22, added-at = {2022-07-04T00:00:00.000+0200}, author = {Vanhems, Florian and Rusu, Vlad and Nowak, David and Grimaud, Gilles}, biburl = {https://www.bibsonomy.org/bibtex/2382868d02478b9455396a592f488a9ec/dblp}, booktitle = {RTAS}, crossref = {conf/rtas/2022}, ee = {https://doi.org/10.1109/RTAS54340.2022.00030}, interhash = {363f9886f78adfc36ef036a305e350e4}, intrahash = {382868d02478b9455396a592f488a9ec}, isbn = {978-1-6654-9998-9}, keywords = {dblp}, pages = {281-292}, publisher = {IEEE}, timestamp = {2024-04-09T21:27:31.000+0200}, title = {A Formal Correctness Proof for an EDF Scheduler Implementation.}, url = {http://dblp.uni-trier.de/db/conf/rtas/rtas2022.html#VanhemsRNG22}, year = 2022 }