%0 Conference Paper %1 conf/rtas/VremanPM22 %A Vreman, Nils %A Pates, Richard %A Maggio, Martina %B RTAS %D 2022 %I IEEE %K dblp %P 228-240 %T WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints. %U http://dblp.uni-trier.de/db/conf/rtas/rtas2022.html#VremanPM22 %@ 978-1-6654-9998-9

@inproceedings{conf/rtas/VremanPM22, added-at = {2022-07-04T00:00:00.000+0200}, author = {Vreman, Nils and Pates, Richard and Maggio, Martina}, biburl = {https://www.bibsonomy.org/bibtex/2cd69430ea66988b057c37aa8f3e7f81f/dblp}, booktitle = {RTAS}, crossref = {conf/rtas/2022}, ee = {https://doi.org/10.1109/RTAS54340.2022.00026}, interhash = {82ad6dd14fc11f2c03f44d82b0ba02bf}, intrahash = {cd69430ea66988b057c37aa8f3e7f81f}, isbn = {978-1-6654-9998-9}, keywords = {dblp}, pages = {228-240}, publisher = {IEEE}, timestamp = {2024-04-09T21:27:31.000+0200}, title = {WeaklyHard.jl: Scalable Analysis of Weakly-Hard Constraints.}, url = {http://dblp.uni-trier.de/db/conf/rtas/rtas2022.html#VremanPM22}, year = 2022 }