Towards Static Check of FMUs in VDM-SL. Battle, N., Thule, C., Gomes, C., Macedo, H. D., & Larsen, P. G. In Gamble, C. & Couto, L. D., editors, The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, pages 17–31, Porto, Portugal, October, 2019. Newcastle University Technical Report Series. CS-TR-1530. bibtex @INPROCEEDINGS{Battle&19,
KEY = "Battle&19",
AUTHOR = "Nick Battle and Casper Thule and Cláudio Gomes and Hugo Daniel Macedo and Peter Gorm Larsen",
EDITOR = "Carl Gamble and Luis Diogo Couto",
TITLE = "{Towards Static Check of FMUs in VDM-SL}",
BOOKTITLE = "The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering",
PUBLISHER = "Newcastle University Technical Report Series. CS-TR-1530",
ADDRESS = "Porto, Portugal",
YEAR = "2019",
MONTH = "October",
PAGES = "17--31",
ANNOTE = "",
COMMENT = ""}
%G TOOL OVERTURE VDM DIT4CPS FMI
Downloads: 0
{"_id":"BLWiBnJGfsPyPe9qc","bibbaseid":"battle-thule-gomes-macedo-larsen-towardsstaticcheckoffmusinvdmsl-2019","authorIDs":[],"author_short":["Battle, N.","Thule, C.","Gomes, C.","Macedo, H. D.","Larsen, P. G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Battle&19","author":[{"firstnames":["Nick"],"propositions":[],"lastnames":["Battle"],"suffixes":[]},{"firstnames":["Casper"],"propositions":[],"lastnames":["Thule"],"suffixes":[]},{"firstnames":["Cláudio"],"propositions":[],"lastnames":["Gomes"],"suffixes":[]},{"firstnames":["Hugo","Daniel"],"propositions":[],"lastnames":["Macedo"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"editor":[{"firstnames":["Carl"],"propositions":[],"lastnames":["Gamble"],"suffixes":[]},{"firstnames":["Luis","Diogo"],"propositions":[],"lastnames":["Couto"],"suffixes":[]}],"title":"Towards Static Check of FMUs in VDM-SL","booktitle":"The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering","publisher":"Newcastle University Technical Report Series. CS-TR-1530","address":"Porto, Portugal","year":"2019","month":"October","pages":"17–31","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Battle&19,\n KEY = \"Battle&19\",\n AUTHOR = \"Nick Battle and Casper Thule and Cláudio Gomes and Hugo Daniel Macedo and Peter Gorm Larsen\",\n EDITOR = \"Carl Gamble and Luis Diogo Couto\",\n TITLE = \"{Towards Static Check of FMUs in VDM-SL}\",\n BOOKTITLE = \"The 17th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering\",\n PUBLISHER = \"Newcastle University Technical Report Series. CS-TR-1530\",\n ADDRESS = \"Porto, Portugal\",\n YEAR = \"2019\",\n MONTH = \"October\",\n PAGES = \"17--31\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G TOOL OVERTURE VDM DIT4CPS FMI\n","author_short":["Battle, N.","Thule, C.","Gomes, C.","Macedo, H. D.","Larsen, P. G."],"editor_short":["Gamble, C.","Couto, L. D."],"id":"Battle&19","bibbaseid":"battle-thule-gomes-macedo-larsen-towardsstaticcheckoffmusinvdmsl-2019","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2019-10-03T06:29:54.807Z","downloads":0,"keywords":[],"search_terms":["towards","static","check","fmus","vdm","battle","thule","gomes","macedo","larsen"],"title":"Towards Static Check of FMUs in VDM-SL","year":2019,"dataSources":["o4zfqwm7cQsSnyzzT","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}