Cyber-Physical Specification Mismatches

Nguyen, Luan Viet; Hoque, Khaza; Bak, Stanley; Drager, Steven; Johnson, Taylor T.

doi:10.1145/3170500

by Luan Viet Nguyen, Khaza Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson

Reference:

Luan Viet Nguyen, Khaza Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson, "Cyber-Physical Specification Mismatches", In ACM Transactions on Cyber-Physical Systems (TCPS), 2018.

Bibtex Entry:

@article{nguyen2018tcps,
  Title                    = {Cyber-Physical Specification Mismatches},
  Author                   = {Luan Viet Nguyen and Khaza Hoque and Stanley Bak and Steven Drager and Taylor T. Johnson},
  journal                = {ACM Transactions on Cyber-Physical Systems (<a href="http://www.acm.org/TCPS/">TCPS</a>)},
  pdf = {http://www.taylortjohnson.com/research/nguyen2018tcps.pdf},
  Owner                    = {tjohnson},
  year = {2018},
  doi = {10.1145/3170500},
}