Cyber-Physical Specification Mismatch Identification with Dynamic Analysis

Johnson, Taylor T.; Bak, Stanley; Drager, Steven

by Taylor T. Johnson, Stanley Bak, Steven Drager

Reference:

Taylor T. Johnson, Stanley Bak, Steven Drager, "Cyber-Physical Specification Mismatch Identification with Dynamic Analysis", In 6th International Conference on Cyber-Physical Systems (ICCPS 2015), ACM/IEEE, Seattle, Washington, 2015, apr. (Hynger software tool)

Bibtex Entry:

@InProceedings{johnson2015iccps,
  Title                    = {Cyber-Physical Specification Mismatch Identification with Dynamic Analysis},
  Author                   = {Taylor T. Johnson and Stanley Bak and Steven Drager},
  Booktitle                = {6th International Conference on Cyber-Physical Systems (<a href="http://iccps.acm.org/2015/">ICCPS 2015</a>)},
  Year                     = {2015},
  Address                  = {Seattle, Washington},
  Month                    = apr,
  Publisher                = {ACM/IEEE},
  comment                  = {Hynger software tool},
  software = {http://verivital.com/hynger/},
  pdf   = {http://www.taylortjohnson.com/research/johnson2015iccps.pdf},
  Owner                    = {tjohnson},
  Timestamp                = {2014.12.23}
}