@INPROCEEDINGS{Salim&17,
  KEY           = "Salim\&17",
  AUTHOR        = "Hansen Salim and John Fitzgerald",
  EDITOR        = "John Fitzgerald and Peter W. V. Tran-J{\o}rgensen and Tomohiro Oda",
  TITLE         = "{Towards Multi-Models for Self-* Cyber-Physical Systems}",
  BOOKTITLE     = "Proceedings of the 15th Overture Workshop",
  ORGANIZATION  = "Newcastle University",
  PUBLISHER     = "Computing Science. Technical Report Series.  CS-TR- 1513",
 YEAR          = "2017",
  MONTH         = "September",
  PAGES         = "44--58",
  COMMENT       = ""}

%G VDM TEST TOOL VDM++ OVERTURE

{"_id":"H6iyNdCfg9TigfCdr","bibbaseid":"salim-fitzgerald-towardsmultimodelsforselfcyberphysicalsystems-2017","downloads":0,"creationDate":"2017-11-12T10:23:12.509Z","title":"Towards Multi-Models for Self-* Cyber-Physical Systems","author_short":["Salim, H.","Fitzgerald, J."],"year":2017,"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Salim&17","author":[{"firstnames":["Hansen"],"propositions":[],"lastnames":["Salim"],"suffixes":[]},{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]}],"editor":[{"firstnames":["John"],"propositions":[],"lastnames":["Fitzgerald"],"suffixes":[]},{"firstnames":["Peter","W.","V."],"propositions":[],"lastnames":["Tran-Jørgensen"],"suffixes":[]},{"firstnames":["Tomohiro"],"propositions":[],"lastnames":["Oda"],"suffixes":[]}],"title":"Towards Multi-Models for Self-* Cyber-Physical Systems","booktitle":"Proceedings of the 15th Overture Workshop","organization":"Newcastle University","publisher":"Computing Science. Technical Report Series. CS-TR- 1513","year":"2017","month":"September","pages":"44–58","comment":"","bibtex":"@INPROCEEDINGS{Salim&17,\n KEY = \"Salim\\&17\",\n AUTHOR = \"Hansen Salim and John Fitzgerald\",\n EDITOR = \"John Fitzgerald and Peter W. V. Tran-J{\\o}rgensen and Tomohiro Oda\",\n TITLE = \"{Towards Multi-Models for Self-* Cyber-Physical Systems}\",\n BOOKTITLE = \"Proceedings of the 15th Overture Workshop\",\n ORGANIZATION = \"Newcastle University\",\n PUBLISHER = \"Computing Science. Technical Report Series. CS-TR- 1513\",\n YEAR = \"2017\",\n MONTH = \"September\",\n PAGES = \"44--58\",\n COMMENT = \"\"}\n\n%G VDM TEST TOOL VDM++ OVERTURE\n","author_short":["Salim, H.","Fitzgerald, J."],"editor_short":["Fitzgerald, J.","Tran-Jørgensen, P. W. V.","Oda, T."],"id":"Salim&17","bibbaseid":"salim-fitzgerald-towardsmultimodelsforselfcyberphysicalsystems-2017","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"search_terms":["towards","multi","models","self","cyber","physical","systems","salim","fitzgerald"],"keywords":[],"authorIDs":[],"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}