Systematic creation and testing of communication services: quality driven methods
Systematic creation and testing of communication services: quality driven methods
批准号:
122224-2000
负责人:
Dssouli, Rachida
金额:
$2.04万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2003
资助国家:
加拿大
项目状态:
已结题
起止时间:
2003-01-01 至 2004-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2022
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2021
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2020
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2019
-
负责人:Dssouli, Rachida
-
依托单位:
Service composition testing and verification
-
批准号:RGPIN-2018-06796
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2018
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.37万
-
财政年份:2017
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.37万
-
财政年份:2016
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2015
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2014
-
负责人:Dssouli, Rachida
-
依托单位:
Specification and verification of design models for certifiable avionics software
-
批准号:463076-2014
-
项目类别:Collaborative Research and Development Grants
-
资助金额:$4.3万
-
财政年份:2014
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2013
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2012
-
负责人:Dssouli, Rachida
-
依托单位:
Dynamic composition of systems and services
-
批准号:122224-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2011
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2010
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2009
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2008
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2007
-
负责人:Dssouli, Rachida
-
依托单位:
Communication software engineering based on formal methods
-
批准号:122224-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.43万
-
财政年份:2006
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2005
-
负责人:Dssouli, Rachida
-
依托单位:
Systematic creation and testing of communication services: quality driven methods
-
批准号:122224-2000
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.04万
-
财政年份:2004
-
负责人:Dssouli, Rachida
-
依托单位:
海外基金