%0 Conference Paper %1 conf/icse/BoosFJK12 %A Boos, Kevin %A Fok, Chien-Liang %A Julien, Christine %A Kim, Miryung %B ICSE %D 2012 %E Glinz, Martin %E Murphy, Gail C. %E Pezzè, Mauro %I IEEE Computer Society %K dblp %P 1341-1344 %T BRACE: An assertion framework for debugging cyber-physical systems. %U http://dblp.uni-trier.de/db/conf/icse/icse2012.html#BoosFJK12 %@ 978-1-4673-1067-3

@inproceedings{conf/icse/BoosFJK12, added-at = {2023-03-23T00:00:00.000+0100}, author = {Boos, Kevin and Fok, Chien-Liang and Julien, Christine and Kim, Miryung}, biburl = {https://www.bibsonomy.org/bibtex/22884e8dd67f9f957b409333c42a98aa8/dblp}, booktitle = {ICSE}, crossref = {conf/icse/2012}, editor = {Glinz, Martin and Murphy, Gail C. and Pezzè, Mauro}, ee = {http://dl.acm.org/citation.cfm?id=2337413}, interhash = {11809a7e4ce1acda9716385490ea12fb}, intrahash = {2884e8dd67f9f957b409333c42a98aa8}, isbn = {978-1-4673-1067-3}, keywords = {dblp}, pages = {1341-1344}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:37:41.000+0200}, title = {BRACE: An assertion framework for debugging cyber-physical systems.}, url = {http://dblp.uni-trier.de/db/conf/icse/icse2012.html#BoosFJK12}, year = 2012 }