Verifiably safe SCUBA diving using commodity sensors: work-in-progress

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]

Authors

Viren Bajaj

This author has not been identified. Look up 'Viren Bajaj' in Google

Karim Elmaaroufi

This author has not been identified. Look up 'Karim Elmaaroufi' in Google

Nathan Fulton

This author has not been identified. Look up 'Nathan Fulton' in Google

André Platzer

This author has not been identified. Look up 'André Platzer' in Google