A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
字符串理论的计算机辅助推理工具及其在安全和软件工程验证任务中的应用
批准号：
489845-2016
负责人：
Berzish, MurphyThomasReynolds
金额：
$2.55万
依托单位：
依托单位国家：
加拿大
项目类别：
Alexander Graham Bell Canada Graduate Scholarships - Doctoral
财政年份：
2017
资助国家：
加拿大
项目状态：
已结题
起止时间：
2017-01-01 至 2018-12-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
A computer-aided reasoning tool for the theory of strings and its application to security and software engineering verification tasks
-
批准号：489845-2016
-
项目类别：Alexander Graham Bell Canada Graduate Scholarships - Doctoral
-
资助金额：$2.55万
-
财政年份：2018
-
负责人：Berzish, MurphyThomasReynolds
-
依托单位：
Development of design automation tools for microfluidic circuits
-
批准号：481762-2015
-
项目类别：Alexander Graham Bell Canada Graduate Scholarships - Master's
-
资助金额：$1.27万
-
财政年份：2015
-
负责人：Berzish, MurphyThomasReynolds
-
依托单位：
Design and implementation of a hardware description language for microfluidic circuits
-
批准号：470869-2014
-
项目类别：University Undergraduate Student Research Awards
-
资助金额：$0.33万
-
财政年份：2014
-
负责人：Berzish, MurphyThomasReynolds
-
依托单位：
Compilation of large-scale neural models onto field programmable gate arrays
-
批准号：449661-2013
-
项目类别：University Undergraduate Student Research Awards
-
资助金额：$0.33万
-
财政年份：2013
-
负责人：Berzish, MurphyThomasReynolds
-
依托单位：
国内基金
海外基金
基于磷酸二酯酶IV结构的抑制剂的设计与动态组合合成
-
批准号：30500633
-
项目类别：青年科学基金项目
-
资助金额：26.0万元
-
批准年份：2005
-
负责人：郭彦伸
-
依托单位：
