%0 Journal Article %1 journals/dt/BechennecFRBG18 %A Béchennec, Jean-Luc %A Faucou, Sébastien %A Roux, Olivier H. %A Brun, Matthias %A Givel, Louis-Marie %D 2018 %J IEEE Des. Test %K dblp %N 4 %P 31-37 %T Testing Real-Time Systems With Runtime Enforcement. %U http://dblp.uni-trier.de/db/journals/dt/dt35.html#BechennecFRBG18 %V 35

@article{journals/dt/BechennecFRBG18, added-at = {2023-06-26T00:00:00.000+0200}, author = {Béchennec, Jean-Luc and Faucou, Sébastien and Roux, Olivier H. and Brun, Matthias and Givel, Louis-Marie}, biburl = {https://www.bibsonomy.org/bibtex/226da0f5233727c9a243bd1c92d6a2ea8/dblp}, ee = {https://doi.org/10.1109/MDAT.2018.2791801}, interhash = {51a96f49ae50406474f2e73159aba24b}, intrahash = {26da0f5233727c9a243bd1c92d6a2ea8}, journal = {IEEE Des. Test}, keywords = {dblp}, number = 4, pages = {31-37}, timestamp = {2024-04-09T04:12:34.000+0200}, title = {Testing Real-Time Systems With Runtime Enforcement.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt35.html#BechennecFRBG18}, volume = 35, year = 2018 }