@inproceedings{DBLP:conf/re/Brings17,
  author    = {Jennifer Brings},
  editor    = {Ana Moreira and
               Jo{\~{a}}o Ara{\'{u}}jo and
               Jane Hayes and
               Barbara Paech},
  title     = {Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical
               System-Networks},
  booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}
               2017, Lisbon, Portugal, September 4-8, 2017},
  pages     = {556--561},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {https://doi.org/10.1109/RE.2017.45},
  doi       = {10.1109/RE.2017.45},
  timestamp = {Mon, 18 Nov 2019 17:02:35 +0100},
  biburl    = {https://dblp.org/rec/conf/re/Brings17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"6YyvP7WxPb49Am5uQ","bibbaseid":"brings-verifyingcyberphysicalsystembehaviorinthecontextofcyberphysicalsystemnetworks-2017","downloads":0,"creationDate":"2018-07-25T11:41:53.068Z","title":"Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks","author_short":["Brings, J."],"year":2017,"bibtype":"inproceedings","biburl":"https://paluno.uni-due.de/fileadmin/sse/user_upload/SSE_Publikationen.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Jennifer"],"propositions":[],"lastnames":["Brings"],"suffixes":[]}],"editor":[{"firstnames":["Ana"],"propositions":[],"lastnames":["Moreira"],"suffixes":[]},{"firstnames":["João"],"propositions":[],"lastnames":["Araújo"],"suffixes":[]},{"firstnames":["Jane"],"propositions":[],"lastnames":["Hayes"],"suffixes":[]},{"firstnames":["Barbara"],"propositions":[],"lastnames":["Paech"],"suffixes":[]}],"title":"Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical System-Networks","booktitle":"25th IEEE International Requirements Engineering Conference, RE 2017, Lisbon, Portugal, September 4-8, 2017","pages":"556–561","publisher":"IEEE Computer Society","year":"2017","url":"https://doi.org/10.1109/RE.2017.45","doi":"10.1109/RE.2017.45","timestamp":"Mon, 18 Nov 2019 17:02:35 +0100","biburl":"https://dblp.org/rec/conf/re/Brings17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/re/Brings17,\r\n author = {Jennifer Brings},\r\n editor = {Ana Moreira and\r\n Jo{\\~{a}}o Ara{\\'{u}}jo and\r\n Jane Hayes and\r\n Barbara Paech},\r\n title = {Verifying Cyber-Physical System Behavior in the Context of Cyber-Physical\r\n System-Networks},\r\n booktitle = {25th {IEEE} International Requirements Engineering Conference, {RE}\r\n 2017, Lisbon, Portugal, September 4-8, 2017},\r\n pages = {556--561},\r\n publisher = {{IEEE} Computer Society},\r\n year = {2017},\r\n url = {https://doi.org/10.1109/RE.2017.45},\r\n doi = {10.1109/RE.2017.45},\r\n timestamp = {Mon, 18 Nov 2019 17:02:35 +0100},\r\n biburl = {https://dblp.org/rec/conf/re/Brings17.bib},\r\n bibsource = {dblp computer science bibliography, https://dblp.org}\r\n}\r\n\r\n\r\n","author_short":["Brings, J."],"editor_short":["Moreira, A.","Araújo, J.","Hayes, J.","Paech, B."],"key":"DBLP:conf/re/Brings17","id":"DBLP:conf/re/Brings17","bibbaseid":"brings-verifyingcyberphysicalsystembehaviorinthecontextofcyberphysicalsystemnetworks-2017","role":"author","urls":{"Paper":"https://doi.org/10.1109/RE.2017.45"},"metadata":{"authorlinks":{}}},"search_terms":["verifying","cyber","physical","system","behavior","context","cyber","physical","system","networks","brings"],"keywords":[],"authorIDs":[],"dataSources":["ywizExvTQ8JG7S3Wa"]}