×
作者ID: 卡瓦利亚纳-r最近由“Cavalli,Ana R.”撰写的zbMATH文章
发布日期: 安娜·卡瓦利;安娜·R·卡瓦利。;A.卡瓦利。
已编制索引的文档: 13出版物自1984年以来
1作为编辑的贡献
合著者: 20位合著者具有14份联合出版物
211合作作者

按年份列出的出版物

zbMATH Open中包含的引文

8出版物有被引用25中的次21文件 引用人 年份
基于不变量的被动测试方法:在WAP中的应用。 Zbl 1080.68534号
伊曼纽尔·贝塞;安娜·卡瓦利;曼努埃尔·努涅斯;法提哈扎伊迪
7
2005
线性时序逻辑的一种判定方法。 Zbl 0547.03008号
安娜·R·卡瓦利。;路易斯·法利尼亚斯·德尔·塞罗
7
1984
半单李群不变的相干态紧流形。 兹比尔06233.2021
A.卡瓦利。;D’Ariano,G。;米歇尔,L。
1986
形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。1分布式系统和通信协议的形式化描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)国际联合会议,法国巴黎,1998年11月3日至6日。 Zbl 0905.68004号
2
1998
通过被动测试快速测试关键性能。 Zbl 1029.68646号
何塞·安东尼奥·阿内多;安娜·卡瓦利;曼努埃尔·努涅斯
2
2003
使用区间估计测试概率FSM。 兹比尔1202.68072
黄一顺;安娜·卡瓦利
2
2010
Hit-or-jump:一种用于对IN服务应用程序进行嵌入式测试的算法。 Zbl 0952.68007号
安娜·卡瓦利;大卫·李;克里斯蒂安·林德克内特;法提哈扎伊迪
1
1999
用于故障管理的网络协议系统被动测试:一种反向检查方法。 Zbl 1110.68321号
巴普蒂斯特·阿尔卡德;安娜·卡瓦利;陈东洛;Davy Khuu;大卫·李
1
2004
使用区间估计测试概率FSM。 Zbl 1202.68072号
黄一顺;安娜·卡瓦利
2
2010
基于不变量的被动测试方法:在WAP中的应用。 Zbl 1080.68534号
伊曼纽尔·贝塞;安娜·卡瓦利;曼努埃尔·努涅斯;法提哈扎伊迪
7
2005
用于故障管理的网络协议系统被动测试:一种反向检查方法。 Zbl 1110.68321号
巴普蒂斯特·阿尔卡德;安娜·卡瓦利;陈东洛;Davy Khuu;李大卫
1
2004
通过被动测试快速测试关键性能。 Zbl 1029.68646号
何塞·安东尼奥·阿内多;安娜·卡瓦利;曼努埃尔·努涅斯
2
2003
Hit-or-jump:一种用于对IN服务应用程序进行嵌入式测试的算法。 Zbl 0952.68007号
安娜·卡瓦利;李大卫;克里斯蒂安·林德克内特;法提哈扎伊迪
1
1999
形式化描述技术和协议规范、测试和验证。XI/PSTV XVIII’98第十一堡。IFIP TC6 WG6。1分布式系统和通信协议的形式化描述技术(FORTE XI)和协议规范、测试和验证(PSTV XVIII)国际联合会议,法国巴黎,1998年11月3日至6日。 Zbl 0905.68004号
2
1998
半单李群不变的相干态紧流形。 Zbl 0623.32021号
A.卡瓦利。;D’G.阿里亚诺。;米歇尔,L。
1986
线性时序逻辑的一种判定方法。 Zbl 0547.03008号
安娜·R·卡瓦利。;路易斯·法利尼亚斯·德尔·塞罗
7
1984

按年份列出的引文