%0 Conference Paper %1 conf/mass/ZhengJPC15 %A Zheng, Xi %A Julien, Christine %A Podorozhny, Rodion M. %A Cassez, Franck %B MASS %D 2015 %I IEEE Computer Society %K dblp %P 298-306 %T BraceAssertion: Runtime Verification of Cyber-Physical Systems. %U http://dblp.uni-trier.de/db/conf/mass/mass2015.html#ZhengJPC15 %@ 978-1-4673-9101-6

@inproceedings{conf/mass/ZhengJPC15, added-at = {2023-03-24T00:00:00.000+0100}, author = {Zheng, Xi and Julien, Christine and Podorozhny, Rodion M. and Cassez, Franck}, biburl = {https://www.bibsonomy.org/bibtex/2462e6bec8c39c46060f3a67275135cb2/dblp}, booktitle = {MASS}, crossref = {conf/mass/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/MASS.2015.15}, interhash = {66568226704f7ff7114c6ebf46cc8167}, intrahash = {462e6bec8c39c46060f3a67275135cb2}, isbn = {978-1-4673-9101-6}, keywords = {dblp}, pages = {298-306}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:47:33.000+0200}, title = {BraceAssertion: Runtime Verification of Cyber-Physical Systems.}, url = {http://dblp.uni-trier.de/db/conf/mass/mass2015.html#ZhengJPC15}, year = 2015 }