@inproceedings{conf/trustcom/BuzhinskyPV15,
  added-at = {2015-12-11T00:00:00.000+0100},
  author = {Buzhinsky, Igor and Pang, Cheng and Vyatkin, Valeriy},
  biburl = {http://www.bibsonomy.org/bibtex/2ad161c2ad9aa0b7f699f38f66ef08807/dblp},
  booktitle = {TrustCom/BigDataSE/ISPA (3)},
  crossref = {conf/trustcom/2015-3},
  ee = {http://dx.doi.org/10.1109/Trustcom.2015.648},
  interhash = {a1c875d85886bcb8a13c7e923e7e7d2d},
  intrahash = {ad161c2ad9aa0b7f699f38f66ef08807},
  keywords = {dblp},
  note = {978-1-4673-7952-6},
  pages = {301-306},
  publisher = {IEEE},
  timestamp = {2015-12-15T11:55:06.000+0100},
  title = {Formal Modeling of Testing Software for Cyber-Physical Automation Systems.},
  url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2015-3.html#BuzhinskyPV15},
  year = 2015
}

{"_id":"kTFcLdMxQcLRxPgve","bibbaseid":"buzhinsky-pang-vyatkin-formalmodelingoftestingsoftwareforcyberphysicalautomationsystems-2015","downloads":0,"creationDate":"2016-01-22T05:24:51.332Z","title":"Formal Modeling of Testing Software for Cyber-Physical Automation Systems.","author_short":["Buzhinsky, I.","Pang, C.","Vyatkin, V."],"year":2015,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Igor Sokolov?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2015-12-11T00:00:00.000+0100","author":[{"propositions":[],"lastnames":["Buzhinsky"],"firstnames":["Igor"],"suffixes":[]},{"propositions":[],"lastnames":["Pang"],"firstnames":["Cheng"],"suffixes":[]},{"propositions":[],"lastnames":["Vyatkin"],"firstnames":["Valeriy"],"suffixes":[]}],"biburl":"http://www.bibsonomy.org/bibtex/2ad161c2ad9aa0b7f699f38f66ef08807/dblp","booktitle":"TrustCom/BigDataSE/ISPA (3)","crossref":"conf/trustcom/2015-3","ee":"http://dx.doi.org/10.1109/Trustcom.2015.648","interhash":"a1c875d85886bcb8a13c7e923e7e7d2d","intrahash":"ad161c2ad9aa0b7f699f38f66ef08807","keywords":"dblp","note":"978-1-4673-7952-6","pages":"301-306","publisher":"IEEE","timestamp":"2015-12-15T11:55:06.000+0100","title":"Formal Modeling of Testing Software for Cyber-Physical Automation Systems.","url":"http://dblp.uni-trier.de/db/conf/trustcom/trustcom2015-3.html#BuzhinskyPV15","year":"2015","bibtex":"@inproceedings{conf/trustcom/BuzhinskyPV15,\n added-at = {2015-12-11T00:00:00.000+0100},\n author = {Buzhinsky, Igor and Pang, Cheng and Vyatkin, Valeriy},\n biburl = {http://www.bibsonomy.org/bibtex/2ad161c2ad9aa0b7f699f38f66ef08807/dblp},\n booktitle = {TrustCom/BigDataSE/ISPA (3)},\n crossref = {conf/trustcom/2015-3},\n ee = {http://dx.doi.org/10.1109/Trustcom.2015.648},\n interhash = {a1c875d85886bcb8a13c7e923e7e7d2d},\n intrahash = {ad161c2ad9aa0b7f699f38f66ef08807},\n keywords = {dblp},\n note = {978-1-4673-7952-6},\n pages = {301-306},\n publisher = {IEEE},\n timestamp = {2015-12-15T11:55:06.000+0100},\n title = {Formal Modeling of Testing Software for Cyber-Physical Automation Systems.},\n url = {http://dblp.uni-trier.de/db/conf/trustcom/trustcom2015-3.html#BuzhinskyPV15},\n year = 2015\n}\n\n","author_short":["Buzhinsky, I.","Pang, C.","Vyatkin, V."],"key":"conf/trustcom/BuzhinskyPV15","id":"conf/trustcom/BuzhinskyPV15","bibbaseid":"buzhinsky-pang-vyatkin-formalmodelingoftestingsoftwareforcyberphysicalautomationsystems-2015","role":"author","urls":{"Link":"http://dx.doi.org/10.1109/Trustcom.2015.648","Paper":"http://dblp.uni-trier.de/db/conf/trustcom/trustcom2015-3.html#BuzhinskyPV15"},"keyword":["dblp"],"downloads":0},"search_terms":["formal","modeling","testing","software","cyber","physical","automation","systems","buzhinsky","pang","vyatkin"],"keywords":["dblp"],"authorIDs":[],"dataSources":["h2zaCTy5Y74MDBFyN"]}