%0 Conference Paper %1 conf/rtcsa/0003RT21 %A Guo, Xiaojie %A Rieg, Lionel %A Torrini, Paolo %B RTCSA %D 2021 %I IEEE %K dblp %P 83-92 %T A generic approach for the certified schedulability analysis of software systems. %U http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2021.html#0003RT21 %@ 978-1-6654-4188-9

@inproceedings{conf/rtcsa/0003RT21, added-at = {2021-10-05T00:00:00.000+0200}, author = {Guo, Xiaojie and Rieg, Lionel and Torrini, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/2d7ee5e2fd819bbea30c047dddb31217c/dblp}, booktitle = {RTCSA}, crossref = {conf/rtcsa/2021}, ee = {https://doi.org/10.1109/RTCSA52859.2021.00018}, interhash = {b6e82939de73abe68c2a23375a900760}, intrahash = {d7ee5e2fd819bbea30c047dddb31217c}, isbn = {978-1-6654-4188-9}, keywords = {dblp}, pages = {83-92}, publisher = {IEEE}, timestamp = {2024-04-09T19:21:42.000+0200}, title = {A generic approach for the certified schedulability analysis of software systems.}, url = {http://dblp.uni-trier.de/db/conf/rtcsa/rtcsa2021.html#0003RT21}, year = 2021 }