BibTeX record conf/tools/BombardaBG19

• > Home > conf/tools/BombardaBG19

@inproceedings{DBLP:conf/tools/BombardaBG19,
  author       = {Andrea Bombarda and
                  Silvia Bonfanti and
                  Angelo Gargantini},
  editor       = {Manuel Mazzara and
                  Jean{-}Michel Bruel and
                  Bertrand Meyer and
                  Alexander K. Petrenko},
  title        = {Developing Medical Devices from Abstract State Machines to Embedded
                  Systems: {A} Smart Pill Box Case Study},
  booktitle    = {Software Technology: Methods and Tools - 51st International Conference,
                  {TOOLS} 2019, Tatarstan, Russia, October 15-17, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11771},
  pages        = {89--103},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-29852-4\_7},
  doi          = {10.1007/978-3-030-29852-4\_7},
  timestamp    = {Mon, 05 Feb 2024 20:35:19 +0100},
  biburl       = {https://dblp.org/rec/conf/tools/BombardaBG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}