Viren Bajaj, Karim Elmaaroufi, Nathan Fulton, André Platzer. Verifiably safe SCUBA diving using commodity sensors: work-in-progress. In Proceedings of the International Conference on Embedded Software Companion, New York, NY, USA, October 13-18, 2019. pages 8, ACM, 2019. [doi]
@inproceedings{BajajEFP19,
title = {Verifiably safe SCUBA diving using commodity sensors: work-in-progress},
author = {Viren Bajaj and Karim Elmaaroufi and Nathan Fulton and André Platzer},
year = {2019},
doi = {10.1145/3349568.3351554},
url = {https://doi.org/10.1145/3349568.3351554},
researchr = {https://researchr.org/publication/BajajEFP19},
cites = {0},
citedby = {0},
pages = {8},
booktitle = {Proceedings of the International Conference on Embedded Software Companion, New York, NY, USA, October 13-18, 2019},
publisher = {ACM},
isbn = {978-1-4503-6924-4},
}