From Healthcare System Specifications to Formal Models.
Daniel ClavelCristian MahuleaManuel SilvaPublished in: SMC (2019)
Keyphrases
- formal models
- formal model
- rule based systems
- process model
- information systems
- specification language
- formal specification
- delay insensitive
- biomedical informatics
- healthcare systems
- high level
- information technology
- control flow
- electronic health records
- clinical trials
- medical information
- home care
- real time
- knowledge acquisition
- neural network