Automated Conflict Resolution in Clinical Pathways
Automated Conflict Resolution in Clinical Pathways
临床路径中的自动冲突解决
批准号：
EP/M014290/1
负责人：
Juliana Bowles
金额：
$41.59万
依托单位：
依托单位国家：
英国
项目类别：
Research Grant
财政年份：
2015
资助国家：
英国
项目状态：
已结题
起止时间：
2015 至 --
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Abstracts are not currently available in GtR for all funded research. This is normally because the abstract was not required at the time of proposal submission, but may be because it included sensitive information such as personal details.
期刊论文(10)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
Model checking cancer automata
模型检查癌症自动机
模型检查癌症自动机
DOI：
10.1109/bhi.2016.7455913
发表时间：
2016
期刊：
影响因子：
--
作者：
[Bowles J]
通讯作者：
Bowles J
Developing a well-received pre-matriculation program: the evolution of MedFIT.
制定广受好评的预科课程：MedFIT 的演变。
制定广受好评的预科课程：MedFIT 的演变。
DOI：
10.1007/978-3-319-11970-0_12
发表时间：
2022
期刊：
Discover education
影响因子：
--
作者：
[Allen A]
通讯作者：
Allen A
Intelligent Computer Mathematics
智能计算机数学
智能计算机数学
DOI：
10.1007/978-3-540-85110-3_29
发表时间：
2008
期刊：
影响因子：
--
作者：
[Bundy A]
通讯作者：
Bundy A
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
综合形式方法 - 第 12 届国际会议，IFM 2016，冰岛雷克雅未克，2016 年 6 月 1-5 日，会议记录
综合形式方法 - 第 12 届国际会议，IFM 2016，冰岛雷克雅未克，2016 年 6 月 1-5 日，会议记录
DOI：
10.1007/978-3-319-33693-0_24
发表时间：
2016
期刊：
影响因子：
--
作者：
[Kovalov A]
通讯作者：
Kovalov A
DOI：
10.1109/apsec.2016.051
发表时间：
2016-12
期刊：
2016 23rd Asia-Pacific Software Engineering Conference (APSEC)
影响因子：
--
作者：
[J. Bowles;M. Caminati]
通讯作者：
J. Bowles;M. Caminati
共 6 条
海外基金