@MASTERSTHESIS{Esparza11,
  KEY           = "Esparza11",
  AUTHOR        = "Jos\'e Antonio Esparza Isasa",
  TITLE         = "{A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems}",
  SCHOOL        = "Aarhus University School of Engineering",
  ADDRESS       = "Finlandsgade 22, 8200 Aarhus, Denmark",
  YEAR          = "2011",
  MONTH         = "December",
  PAGES         = "",
  SIZE          = "260",
  NOTE          = "Supervised by Prof. Peter Gorm Larsen. Available on-line at
                   \url{http://overturetool.org/publications/theses/Esparza11.pdf}",
  ANNOTE        = "",
  COMMENT       = "BIB JAE. I have the sources."}

%G VDM OVERTURE

{"_id":"wJAbyB22vTWrBjr3L","authorIDs":[],"author_short":["Isasa, J. A. E."],"bibbaseid":"isasa-avdmrtmethodologyforthehardwaresoftwarecodesignofembeddedsystems-2011","bibdata":{"bibtype":"mastersthesis","type":"mastersthesis","key":"Esparza11","author":[{"firstnames":["José","Antonio","Esparza"],"propositions":[],"lastnames":["Isasa"],"suffixes":[]}],"title":"A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems","school":"Aarhus University School of Engineering","address":"Finlandsgade 22, 8200 Aarhus, Denmark","year":"2011","month":"December","pages":"","size":"260","note":"Supervised by Prof. Peter Gorm Larsen. Available on-line at ˘rlhttp://overturetool.org/publications/theses/Esparza11.pdf","annote":"","comment":"BIB JAE. I have the sources.","bibtex":"@MASTERSTHESIS{Esparza11,\n KEY = \"Esparza11\",\n AUTHOR = \"Jos\\'e Antonio Esparza Isasa\",\n TITLE = \"{A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems}\",\n SCHOOL = \"Aarhus University School of Engineering\",\n ADDRESS = \"Finlandsgade 22, 8200 Aarhus, Denmark\",\n YEAR = \"2011\",\n MONTH = \"December\",\n PAGES = \"\",\n SIZE = \"260\",\n NOTE = \"Supervised by Prof. Peter Gorm Larsen. Available on-line at\n \\url{http://overturetool.org/publications/theses/Esparza11.pdf}\",\n ANNOTE = \"\",\n COMMENT = \"BIB JAE. I have the sources.\"}\n\n%G VDM OVERTURE\n","author_short":["Isasa, J. A. E."],"id":"Esparza11","bibbaseid":"isasa-avdmrtmethodologyforthehardwaresoftwarecodesignofembeddedsystems-2011","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"mastersthesis","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-14T17:59:23.093Z","downloads":0,"keywords":[],"search_terms":["vdm","methodology","hardware","software","design","embedded","systems","isasa"],"title":"A VDM-RT Methodology for the Hardware/Software Co-design of Embedded Systems","year":2011,"dataSources":["o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB","nGw4dfQFrDZqKC8vj"]}