Index Catalog // Dickinson Scholar

New Search

Filtering by: Subject

Graphics and Human Computer Interfaces

Pain Management: Development of a Formally Verified Android Application Using EventB2SQL

Keyword matches:

Creator:

Williams, Graham Peter

Description:

This project is a case study on formal verification of an Android application used for pain management. When it comes to healthcare applications, the consistency of the application is crucial, as it may affect the wellbeing of...