BibTeX record conf/safecomp/MasciACLST13

• > Home > conf/safecomp/MasciACLST13

@inproceedings{DBLP:conf/safecomp/MasciACLST13,
  author       = {Paolo Masci and
                  Anaheed Ayoub and
                  Paul Curzon and
                  Insup Lee and
                  Oleg Sokolsky and
                  Harold W. Thimbleby},
  editor       = {Friedemann Bitsch and
                  J{\'{e}}r{\'{e}}mie Guiochet and
                  Mohamed Ka{\^{a}}niche},
  title        = {Model-Based Development of the Generic {PCA} Infusion Pump User Interface
                  Prototype in {PVS}},
  booktitle    = {Computer Safety, Reliability, and Security - 32nd International Conference,
                  {SAFECOMP} 2013, Toulouse, France, September 24-27, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8153},
  pages        = {228--240},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-40793-2\_21},
  doi          = {10.1007/978-3-642-40793-2\_21},
  timestamp    = {Thu, 26 Jan 2023 14:05:55 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/MasciACLST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}