Co-simulation of Real-time Embedded Control Systems

Co-simulation of Real-time Embedded Control Systems. Verhoef, M., Visser, P., Hooman, J., & Broenink, J. In Davies, J. & Gibbons, J., editors, Integrated Formal Methods: Proc. 6th. Intl. Conference, of Lecture Notes in Computer Science 4591, pages 639–658, July, 2007. Springer-Verlag.
bibtex

@INPROCEEDINGS{Verhoef&07b,
  KEY           = "Verhoef\&07",
  AUTHOR        = "Marcel Verhoef and Peter Visser and Jozef Hooman and
                   Jan Broenink",
  TITLE         = "{Co-simulation of Real-time Embedded Control Systems}",
  BOOKTITLE     = "Integrated Formal Methods: Proc. 6th. Intl. Conference",
  EDITOR        = "Jim Davies and Jeremy Gibbons",
  PUBLISHER     = "Springer-Verlag",
  SERIES        = "Lecture Notes in Computer Science 4591",
  PAGES         = "639--658",
  YEAR          = "2007",
  MONTH         = "July",
  ANNOTE        = "",
  COMMENT       = ""}

%G VDM OVERTURE TOOL

Downloads: 0

{"_id":"MYMnQEMWjF4k7gRuF","authorIDs":[],"author_short":["Verhoef, M.","Visser, P.","Hooman, J.","Broenink, J."],"bibbaseid":"verhoef-visser-hooman-broenink-cosimulationofrealtimeembeddedcontrolsystems-2007","bibdata":{"bibtype":"inproceedings","type":"inproceedings","key":"Verhoef&07b","author":[{"firstnames":["Marcel"],"propositions":[],"lastnames":["Verhoef"],"suffixes":[]},{"firstnames":["Peter"],"propositions":[],"lastnames":["Visser"],"suffixes":[]},{"firstnames":["Jozef"],"propositions":[],"lastnames":["Hooman"],"suffixes":[]},{"firstnames":["Jan"],"propositions":[],"lastnames":["Broenink"],"suffixes":[]}],"title":"Co-simulation of Real-time Embedded Control Systems","booktitle":"Integrated Formal Methods: Proc. 6th. Intl. Conference","editor":[{"firstnames":["Jim"],"propositions":[],"lastnames":["Davies"],"suffixes":[]},{"firstnames":["Jeremy"],"propositions":[],"lastnames":["Gibbons"],"suffixes":[]}],"publisher":"Springer-Verlag","series":"Lecture Notes in Computer Science 4591","pages":"639–658","year":"2007","month":"July","annote":"","comment":"","bibtex":"@INPROCEEDINGS{Verhoef&07b,\n KEY = \"Verhoef\\&07\",\n AUTHOR = \"Marcel Verhoef and Peter Visser and Jozef Hooman and\n Jan Broenink\",\n TITLE = \"{Co-simulation of Real-time Embedded Control Systems}\",\n BOOKTITLE = \"Integrated Formal Methods: Proc. 6th. Intl. Conference\",\n EDITOR = \"Jim Davies and Jeremy Gibbons\",\n PUBLISHER = \"Springer-Verlag\",\n SERIES = \"Lecture Notes in Computer Science 4591\",\n PAGES = \"639--658\",\n YEAR = \"2007\",\n MONTH = \"July\",\n ANNOTE = \"\",\n COMMENT = \"\"}\n\n%G VDM OVERTURE TOOL\n","author_short":["Verhoef, M.","Visser, P.","Hooman, J.","Broenink, J."],"editor_short":["Davies, J.","Gibbons, J."],"id":"Verhoef&07b","bibbaseid":"verhoef-visser-hooman-broenink-cosimulationofrealtimeembeddedcontrolsystems-2007","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":0},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/overturetool/overturetool.github.io/4dc3b48401a19f22e819296af3a5451a27d04f27/publications/overtureweb.bib","creationDate":"2015-02-14T15:03:00.388Z","downloads":0,"keywords":[],"search_terms":["simulation","real","time","embedded","control","systems","verhoef","visser","hooman","broenink"],"title":"Co-simulation of Real-time Embedded Control Systems","year":2007,"dataSources":["Ys3ykPbs2mksSbLyZ"]}