Case Study: Safety Verification of an Unmanned Underwater Vehicle (bibtex)

by Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran and Taylor T. Johnson

Reference:

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran and Taylor T. Johnson, "Case Study: Safety Verification of an Unmanned Underwater Vehicle", In IEEE Workshop on Assured Autonomous Systems (WAAS'20), Co-located with the 41st IEEE Symposium on Security and Privacy (Oakland), 2020.

Bibtex Entry:

@inproceedings{lopez2020waas,
  title = {Case Study: Safety Verification of an Unmanned Underwater Vehicle},
  author = {Diego Manzanas Lopez and Patrick Musau and Nathaniel Hamilton and Hoang-Dung Tran and Taylor T. Johnson},
  year = {2020},
  booktitle = {IEEE Workshop on Assured Autonomous Systems (WAAS'20), Co-located with the 41st IEEE Symposium on Security and Privacy (Oakland)},
  publabel = {W27},
  pubtype = {W},
  dblp = {conf/sp/LopezMHTJ20},
}