@inbook{6851497d91eb443899d5bc7b960b9d9c,
title = "Code-generating VDM for Embedded Devices",
author = "Victor Bandur and Tran-Jørgensen, {Peter Würtz Vinther} and Miran Hasanagic and Lausdahl, Kenneth",
note = "This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.",
year = "2017",
month = "9",
booktitle = "THE 15TH OVERTURE WORKSHOP",
}

{"_id":"Jw6DN2K2f392KYa4j","bibbaseid":"bandur-tranjrgensen-hasanagic-lausdahl-codegeneratingvdmforembeddeddevices-2017","downloads":0,"creationDate":"2017-10-24T22:15:38.835Z","title":"Code-generating VDM for Embedded Devices","author_short":["Bandur, V.","Tran-Jørgensen, P.","Hasanagic, M.","Lausdahl, K."],"year":2017,"bibtype":"inbook","biburl":"blog.lausdahl.com/wp-content/uploads/publications/lausdahl.bib","bibdata":{"bibtype":"inbook","type":"inbook","title":"Code-generating VDM for Embedded Devices","author":[{"firstnames":["Victor"],"propositions":[],"lastnames":["Bandur"],"suffixes":[]},{"propositions":[],"lastnames":["Tran-Jørgensen"],"firstnames":["Peter Würtz Vinther"],"suffixes":[]},{"firstnames":["Miran"],"propositions":[],"lastnames":["Hasanagic"],"suffixes":[]},{"propositions":[],"lastnames":["Lausdahl"],"firstnames":["Kenneth"],"suffixes":[]}],"note":"This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.","year":"2017","month":"9","booktitle":"THE 15TH OVERTURE WORKSHOP","bibtex":"@inbook{6851497d91eb443899d5bc7b960b9d9c,\r\ntitle = \"Code-generating VDM for Embedded Devices\",\r\nauthor = \"Victor Bandur and Tran-Jørgensen, {Peter Würtz Vinther} and Miran Hasanagic and Lausdahl, Kenneth\",\r\nnote = \"This publication is part of the Horizon 2020 project: Integrated Tool chain for model-based design of CPSs (INTO-CPS), project/GA number 644047.\",\r\nyear = \"2017\",\r\nmonth = \"9\",\r\nbooktitle = \"THE 15TH OVERTURE WORKSHOP\",\r\n}\r\n\r\n","author_short":["Bandur, V.","Tran-Jørgensen, P.","Hasanagic, M.","Lausdahl, K."],"key":"6851497d91eb443899d5bc7b960b9d9c","id":"6851497d91eb443899d5bc7b960b9d9c","bibbaseid":"bandur-tranjrgensen-hasanagic-lausdahl-codegeneratingvdmforembeddeddevices-2017","role":"author","urls":{},"metadata":{"authorlinks":{"lausdahl, k":"https://blog.lausdahl.com/publications/"}},"downloads":0,"html":""},"search_terms":["code","generating","vdm","embedded","devices","bandur","tran-jørgensen","hasanagic","lausdahl"],"keywords":[],"authorIDs":["NtxQ9SSTQrELYyARd"],"dataSources":["Xcji6y7twnJcmrCLT","HtWEJcCHFxSnPZdyr","maALzmZwmtEEh8pXx"]}