@INPROCEEDINGS{Esparza&13c,
  KEY          = "Esparza\&13c",
  AUTHOR       = "Jos\'e Antonio Esparza Isasa and Peter W.V. J\o{}rgensen and Peter Gorm Larsen",
  TITLE        = "{Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems}",
  BOOKTITLE    = "MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development",
  SERIES       = "",
  YEAR         = "2014",
  MONTH        = "January",
  COMMENT      = "BIB JAE"}

%G INTOCPSPUB CPS VDM OVERTURE

{"_id":"LujjQjm3siB9NDrxR","authorIDs":[],"author_short":["Isasa, J. A. E.","Jørgensen, P. W.","Larsen, P. G."],"bibbaseid":"isasa-jrgensen-larsen-hardwareintheloopforvdmrealtimemodellingofembeddedsystems-2014","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Esparza&13c","author":[{"firstnames":["José","Antonio","Esparza"],"propositions":[],"lastnames":["Isasa"],"suffixes":[]},{"firstnames":["Peter","W.V."],"propositions":[],"lastnames":["Jørgensen"],"suffixes":[]},{"firstnames":["Peter","Gorm"],"propositions":[],"lastnames":["Larsen"],"suffixes":[]}],"title":"Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems","booktitle":"MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development","series":"","year":"2014","month":"January","comment":"BIB JAE","bibtex":"@INPROCEEDINGS{Esparza&13c,\n KEY = \"Esparza\\&13c\",\n AUTHOR = \"Jos\\'e Antonio Esparza Isasa and Peter W.V. J\\o{}rgensen and Peter Gorm Larsen\",\n TITLE = \"{Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems}\",\n BOOKTITLE = \"MODELSWARD 2014, Second International Conference on Model-Driven Engineering and Software Development\",\n SERIES = \"\",\n YEAR = \"2014\",\n MONTH = \"January\",\n COMMENT = \"BIB JAE\"}\n\n%G INTOCPSPUB CPS VDM OVERTURE\n","author_short":["Isasa, J. A. E.","Jørgensen, P. W.","Larsen, P. G."],"id":"Esparza&13c","bibbaseid":"isasa-jrgensen-larsen-hardwareintheloopforvdmrealtimemodellingofembeddedsystems-2014","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"https://www.overturetool.org/publications/overtureweb.bib","creationDate":"2015-02-11T12:19:36.305Z","downloads":0,"keywords":[],"search_terms":["hardware","loop","vdm","real","time","modelling","embedded","systems","isasa","jørgensen","larsen"],"title":"Hardware In the Loop for VDM-Real Time Modelling of Embedded Systems","year":2014,"dataSources":["nGw4dfQFrDZqKC8vj","o4zfqwm7cQsSnyzzT","Ys3ykPbs2mksSbLyZ","Crono4ygz53Pqi6FB"]}