BibTeX record conf/emsoft/KimASLJZJ11

• > Home > conf/emsoft/KimASLJZJ11

@inproceedings{DBLP:conf/emsoft/KimASLJZJ11,
  author       = {BaekGyu Kim and
                  Anaheed Ayoub and
                  Oleg Sokolsky and
                  Insup Lee and
                  Paul L. Jones and
                  Yi Zhang and
                  Raoul Praful Jetley},
  editor       = {Samarjit Chakraborty and
                  Ahmed Jerraya and
                  Sanjoy K. Baruah and
                  Sebastian Fischmeister},
  title        = {Safety-assured development of the {GPCA} infusion pump software},
  booktitle    = {Proceedings of the 11th International Conference on Embedded Software,
                  {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
                  Taipei, Taiwan, October 9-14, 2011},
  pages        = {155--164},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038642.2038667},
  doi          = {10.1145/2038642.2038667},
  timestamp    = {Sat, 30 Sep 2023 09:40:18 +0200},
  biburl       = {https://dblp.org/rec/conf/emsoft/KimASLJZJ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}