%0 Journal Article %1 journals/tecs/ZhengJCPC17 %A Zheng, Xi %A Julien, Christine %A Chen, Hongxu %A Podorozhny, Rodion M. %A Cassez, Franck %D 2017 %J ACM Trans. Embed. Comput. Syst. %K dblp %N 4 %P 106:1-106:24 %T Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#ZhengJCPC17 %V 16

@article{journals/tecs/ZhengJCPC17, added-at = {2021-04-09T00:00:00.000+0200}, author = {Zheng, Xi and Julien, Christine and Chen, Hongxu and Podorozhny, Rodion M. and Cassez, Franck}, biburl = {https://www.bibsonomy.org/bibtex/26adadba65724084f96c902cd7b8379ac/dblp}, ee = {https://doi.org/10.1145/3063382}, interhash = {725232e4e7ef26713a8832cb26fb9892}, intrahash = {6adadba65724084f96c902cd7b8379ac}, journal = {ACM Trans. Embed. Comput. Syst.}, keywords = {dblp}, number = 4, pages = {106:1-106:24}, timestamp = {2024-04-08T20:54:48.000+0200}, title = {Real-Time Simulation Support for Runtime Verification of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/tecs/tecs16.html#ZhengJCPC17}, volume = 16, year = 2017 }