Decentralized real-time safety verification for distributed cyber-physical systems (bibtex)

by Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang and Taylor T. Johnson

Reference:

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang and Taylor T. Johnson, "Decentralized real-time safety verification for distributed cyber-physical systems", In 3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS'19), 2019.

Bibtex Entry:

@inproceedings{tran2019dhs,
  title = {Decentralized real-time safety verification for distributed cyber-physical systems},
  author = {Hoang-Dung Tran and Luan Viet Nguyen and Patrick Musau and Weiming Xiang and Taylor T. Johnson},
  year = {2019},
  booktitle = {3rd International Workshop on Methods and Tools for Distributed Hybrid Systems (DHS'19)},
  publabel = {W25},
  pubtype = {W},
  dblp = {conf/forte/TranNMXJ19},
}