Login / Signup
Medicine-by-wire: Practical considerations on formal techniques for dependable medical systems.
Leo Freitas
William E. Scott III
Patrick Degenaar
Published in:
Sci. Comput. Program. (2020)
Keyphrases
</>
medical domain
management system
real time
medical diagnosis
formal methods
formal languages
expert systems
complex systems
formal model
data sets
neural network
data mining
knowledge based systems
building blocks
patient care
specific domains