Enhancing Formal Modelling Tool Support with Increased Automation. Lausdahl, K. Technical Report ECE-TR-4, Aarhus University, October, 2011.
![Enhancing Formal Modelling Tool Support with Increased Automation [pdf]](https://bibbase.org/img/filetypes/pdf.svg "pdf")
Paper bibtex
Paper bibtex @TECHREPORT{Lausdahl&11d,
KEY = "Lausdahl\&11d",
AUTHOR = "Kenneth Lausdahl",
TITLE = "{Enhancing Formal Modelling Tool Support with Increased Automation}",
INSTITUTION = "Aarhus University",
YEAR = "2011",
MONTH = "October",
NUMBER = "{ECE-TR-4}",
URL = "http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf"}
%G VDM COSIM TOOL DESTECS OVERTUREDownloads: 0
{"_id":{"_str":"53b6a8ce7cc42ee75e000212"},"__v":0,"authorIDs":[],"author_short":["Lausdahl, K."],"bibbaseid":"lausdahl-enhancingformalmodellingtoolsupportwithincreasedautomation-2011","bibdata":{"bibtype":"techreport","type":"techreport","key":"Lausdahl&11d","author":[{"firstnames":["Kenneth"],"propositions":[],"lastnames":["Lausdahl"],"suffixes":[]}],"title":"Enhancing Formal Modelling Tool Support with Increased Automation","institution":"Aarhus University","year":"2011","month":"October","number":"ECE-TR-4","url":"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf","bibtex":"@TECHREPORT{Lausdahl&11d,\n KEY \t= \"Lausdahl\\&11d\",\n AUTHOR \t= \"Kenneth Lausdahl\",\n TITLE \t= \"{Enhancing Formal Modelling Tool Support with Increased Automation}\",\n INSTITUTION \t\t= \"Aarhus University\",\n YEAR \t= \"2011\",\n MONTH \t= \"October\",\n NUMBER \t= \"{ECE-TR-4}\",\n URL\t\t\t\t= \"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf\"}\n\n%G VDM COSIM TOOL DESTECS OVERTURE\n","author_short":["Lausdahl, K."],"id":"Lausdahl&11d","bibbaseid":"lausdahl-enhancingformalmodellingtoolsupportwithincreasedautomation-2011","role":"author","urls":{"Paper":"http://eng.au.dk/fileadmin/DJF/ENG/PDF-filer/Tekniske_rapporter/Technical_Report_ECE_TR-4-samlet.pdf"},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"techreport","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2014-07-04T13:14:54.650Z","downloads":0,"keywords":[],"search_terms":["enhancing","formal","modelling","tool","support","increased","automation","lausdahl"],"title":"Enhancing Formal Modelling Tool Support with Increased Automation","year":2011,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}