External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Andrea Bombarda

This author has not been identified. Look up 'Andrea Bombarda' in Google

Silvia Bonfanti

This author has not been identified. Look up 'Silvia Bonfanti' in Google

Angelo Gargantini

This author has not been identified. Look up 'Angelo Gargantini' in Google
runs on