ICCPS 2015)"/> ICCPS 2015)"/> Cyber-Physical Specification Mismatch Identification with Dynamic Analysis (bibtex)
Cyber-Physical Specification Mismatch Identification with Dynamic Analysis (bibtex)
by , ,
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}
}
Powered by bibtexbrowser