research
Model and Integrate Medical Resource Available Times and Relationships
in Verifiably Correct Executable Medical Best Practice Guideline Models
(Extended Version)
- Publication date
- 19 November 2018
- Publisher
- 'Institute of Electrical and Electronics Engineers (IEEE)'