Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study

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]

Abstract

Abstract is missing.