Login / Signup
Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers.
Areti Manataki
Jacques D. Fleuriot
Petros Papapanagiotou
Published in:
CBMS (2014)
Keyphrases
</>
formal methods
development lifecycle
case study
artificial intelligence
health care
formal specification
information systems
relational databases
knowledge management
knowledge based systems
life cycle
heart rate