%0 Conference Paper %1 conf/dsn/VedderVJ15 %A Vedder, Benjamin %A Vinter, Jonny %A Jonsson, Magnus %B DSN Workshops %D 2015 %I IEEE Computer Society %K %P 104-111 %T Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System. %U http://dblp.uni-trier.de/db/conf/dsn/dsn2015w.html#VedderVJ15 %@ 978-1-4673-8044-7

@inproceedings{conf/dsn/VedderVJ15, added-at = {2023-12-13T09:54:10.000+0100}, author = {Vedder, Benjamin and Vinter, Jonny and Jonsson, Magnus}, biburl = {https://www.bibsonomy.org/bibtex/2e2598c028f75e2581d2427746030892a/admin}, booktitle = {DSN Workshops}, crossref = {conf/dsn/2015w}, ee = {http://doi.ieeecomputersociety.org/10.1109/DSN-W.2015.28}, interhash = {d2b6af8134f6aeb19c54b39abfd73265}, intrahash = {e2598c028f75e2581d2427746030892a}, isbn = {978-1-4673-8044-7}, keywords = {}, pages = {104-111}, publisher = {IEEE Computer Society}, timestamp = {2023-12-13T09:54:10.000+0100}, title = {Using Simulation, Fault Injection and Property-Based Testing to Evaluate Collision Avoidance of a Quadcopter System.}, url = {http://dblp.uni-trier.de/db/conf/dsn/dsn2015w.html#VedderVJ15}, year = 2015 }