Department
Software Engineering and Game Development
Document Type
Article
Publication Date
6-2017
Embargo Period
8-31-2017
Abstract
This paper describes in detail the example introduced in the preliminary evaluation of THRIVE. Specifically, it evaluates THRIVE over an abstraction of the ground model proposed for a critical component belonging to a medical device used by optometrists and ophthalmologists to detected visual problems.
COinS