Abstract

In this paper, different specifications of the Remote Medical Care System are given by concentrating on both functional behaviour and timed behaviour. The analysis of these specifications puts forward critical system states that should be dealt with care during the system implementation. Full details on the design decisions are given.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call