BibTeX record conf/ifip10-3/BeckerZ010

• > Home > conf/ifip10-3/BeckerZ010

@inproceedings{DBLP:conf/ifip10-3/BeckerZ010,
  author       = {Markus Becker and
                  Henning Zabel and
                  Wolfgang M{\"{u}}ller},
  editor       = {Mike Hinchey and
                  Bernd Kleinjohann and
                  Lisa Kleinjohann and
                  Peter A. Lindsay and
                  Franz J. Rammig and
                  Jon Timmis and
                  Marilyn Wolf},
  title        = {A Mixed Level Simulation Environment for Stepwise {RTOS} Software
                  Refinement},
  booktitle    = {Distributed, Parallel and Biologically Inspired Systems - 7th {IFIP}
                  {TC} 10 Working Conference, {DIPES} 2010 and 3rd {IFIP} {TC} 10 International
                  Conference, {BICC} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
                  September 20-23, 2010. Proceedings},
  series       = {{IFIP} Advances in Information and Communication Technology},
  volume       = {329},
  pages        = {145--156},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15234-4\_15},
  doi          = {10.1007/978-3-642-15234-4\_15},
  timestamp    = {Thu, 30 Jun 2022 15:24:36 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip10-3/BeckerZ010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}