Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems (bibtex)

by HD Tran, LV Nguyen, P Musau, W Xiang and Taylor T. Johnson

Reference:

HD Tran, LV Nguyen, P Musau, W Xiang and Taylor T. Johnson, "Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems", In 39th International Conference on Formal Techniques for Distributed Objects (FORTE'19), Springer, pp. 261–277, 2019.

Bibtex Entry:

@inproceedings{tran2019forte,
  title = {Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems},
  author = {HD Tran and LV Nguyen and P Musau and W Xiang and Taylor T. Johnson},
  year = {2019},
  month = jun,
  booktitle = {39th International Conference on Formal Techniques for Distributed Objects (FORTE'19)},
  volume = {11535},
  pages = {261--277},
  publisher = {Springer},
  doi = {10.1007/978-3-030-21759-4_15},
  publabel = {C23},
  pubtype = {C},
  dblp = {conf/forte/TranNMXJ19},
  s2id = {173992249},
  pdf = "research/tran2019forte.pdf",
}