Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini. Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. In Manuel Mazzara, Jean-Michel Bruel, Bertrand Meyer 0001, Alexander K. Petrenko, editors, Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings. Volume 11771 of Lecture Notes in Computer Science, pages 89-103, Springer, 2019. [doi]
@inproceedings{BombardaBG19,
title = {Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study},
author = {Andrea Bombarda and Silvia Bonfanti and Angelo Gargantini},
year = {2019},
doi = {10.1007/978-3-030-29852-4_7},
url = {https://doi.org/10.1007/978-3-030-29852-4_7},
researchr = {https://researchr.org/publication/BombardaBG19},
cites = {0},
citedby = {0},
pages = {89-103},
booktitle = {Software Technology: Methods and Tools - 51st International Conference, TOOLS 2019, Innopolis, Russia, October 15-17, 2019, Proceedings},
editor = {Manuel Mazzara and Jean-Michel Bruel and Bertrand Meyer 0001 and Alexander K. Petrenko},
volume = {11771},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-030-29852-4},
}