×

兹马思-数学第一资源

格温萨拉因

计算距离:
作者ID: 萨劳恩。格温最近的文章由“格瓦兹本的数学”
发布为: 格温萨拉因;萨拉因,G。
编制索引的文档: 24种出版物自2003年以来,包括4本书

按年份列出的出版物

zbMATH公开赛中包含的引文

12出版物有被引用24时间18个文件 引用人
用CADP验证异步电路的硬件进程的通信语义及其转换成loto。 Zbl 1160.68465
Garavel,休伯特;格温萨拉因;塞鲁,温德林
2009
反例指导下的监控器合成,以实现强制执行。 Zbl 1374.68289
Güdemann,马提亚斯;格温萨拉因;乌德尔尼,梅里姆
2012
用于\(n\)-协议兼容性检查的通用框架。 Zbl 1245.68028
杜兰,弗朗西斯科;乌德尔尼,梅里姆;格温萨拉因
2012
将硬件进程代数转换为标准进程代数:用CHP和LOTOS说明。 Zbl 1137.68454
格温萨拉因;塞鲁,温德林
2005
使用Maude检查协议兼容性。 Zbl 1364.68282
杜兰,弗朗西斯科;乌德尔尼,梅里姆;格温萨拉因
2
2009
将FSP转换成loto和自动机网络。 Zbl 1213.68410
格温萨拉因;克莱默,杰夫;朗,弗里德里克;马吉,杰夫
2
2007
将FSP转换成loto和自动机网络。 兹布1214.68220
朗,弗里德里克;格温萨拉因;赫里尔,雷米;克莱默,杰夫;马吉,杰夫
2
2010
基于组件的开放系统的适应性。 12068.2升
波扎特,帕斯卡;格温萨拉因
2
2007
不匹配行为接口的组成和运行时适应性。 Zbl 1217.68060
查马拉,J。;萨拉因,G。;运河,C。
1
2008
通过翻译成FSP来分析Chor规范。 Zbl 1364.68143
鲁希,尼玛;格温萨拉因;米里安,塞耶德·哈桑
1
2009
行为适应下的系统结构重构。 Zbl 1264.68047
Canal,卡洛斯;卡马拉,哈维尔;格温萨拉因
1
2012
异步通信系统的自动分析。 Zbl 1354.68188
阿克鲁恩,拉赫达尔;格温萨拉因;是的,丽娜
1
2016
异步通信系统的自动分析。 Zbl 1354.68188
阿克鲁恩,拉赫达尔;格温萨拉因;是的,丽娜
1
2016
反例指导下的监控器合成,以实现强制执行。 Zbl 1374.68289
Güdemann,马提亚斯;格温萨拉因;乌德尔尼,梅里姆
2012
用于\(n\)-协议兼容性检查的通用框架。 Zbl 1245.68028
杜兰,弗朗西斯科;乌德尔尼,梅里姆;格温萨拉因
2012
行为适应下的系统结构重构。 Zbl 1264.68047
Canal,卡洛斯;卡马拉,哈维尔;格温萨拉因
1
2012
将FSP转换成loto和自动机网络。 兹布1214.68220
朗,弗里德里克;格温萨拉因;赫里尔,雷米;克莱默,杰夫;马吉,杰夫
2
2010
用CADP验证异步电路的硬件进程的通信语义及其转换成loto。 Zbl 1160.68465
Garavel,休伯特;格温萨拉因;塞鲁,温德林
2009
使用Maude检查协议兼容性。 Zbl 1364.68282
杜兰,弗朗西斯科;乌德尔尼,梅里姆;格温萨拉因
2
2009
通过翻译成FSP来分析Chor规范。 Zbl 1364.68143
鲁希,尼玛;格温萨拉因;米里安,塞耶德·哈桑
1
2009
不匹配行为接口的组成和运行时适应性。 Zbl 1217.68060
查马拉,J。;萨拉因,G。;运河,C。
1
2008
将FSP转换成loto和自动机网络。 Zbl 1213.68410
格温,沙伦;克莱默,杰夫;朗,弗里德里克;马吉,杰夫
2
2007
基于组件的开放系统的适应性。 Zbl 1202.68101
波扎特,帕斯卡;格温萨拉因
2
2007
将硬件进程代数转换为标准进程代数:用CHP和LOTOS说明。 Zbl 1137.68454
格温萨拉因;塞鲁,温德林
2005

按年份列出的引文