Cyber-Physical Specification Mismatch Identification with Dynamic Analysis (bibtex)

by Taylor T. Johnson, S Bak and S Drager

Reference:

Taylor T. Johnson, S Bak and S Drager, "Cyber-Physical Specification Mismatch Identification with Dynamic Analysis", In ACM/IEEE 6th International Conference on Cyber-Physical Systems (ICCPS'15), ACM, pp. 208–217, 2015.

Bibtex Entry:

@inproceedings{johnson2015iccps,
  title = {Cyber-Physical Specification Mismatch Identification with Dynamic Analysis},
  author = {Taylor T. Johnson and S Bak and S Drager},
  year = {2015},
  month = apr,
  booktitle = {ACM/IEEE 6th International Conference on Cyber-Physical Systems (ICCPS'15)},
  pages = {208--217},
  publisher = {ACM},
  doi = {10.1145/2735960.2735979},
  publabel = {C11},
  pubtype = {C},
  dblp = {conf/iccps/JohnsonBD15},
  s2id = {8263150},
  pdf = "research/johnson2015iccps.pdf",
}