×

找到73个文档（结果1-73）

最新的 引文 关联
约书亚·莫尔曼;托尔斯滕·魏斯曼

满意地进行身份识别和核查。 （英语） Zbl 1524.68176号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 450-466 (2022).
MSC公司：65年第68季度 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{J.Moerman}和\textit{T.Wißmann}，Lect。注释计算。科学。13560450-466（2022年；Zbl 1524.68176）
全文： DOI程序
塞巴斯蒂安·荣格斯;朱里安·罗特

学习语言交叉点。 （英语） Zbl 1524.68161号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 371-381 (2022).
MSC公司：68问题32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Junges}和\textit{J.Rot}，莱克特。注释计算。科学。13560371--381（2022年；Zbl 1524.68161）
全文： DOI程序
塞巴斯蒂安·比尔;雷娜·迪米特洛娃;迈克尔·弗里斯;马西耶·加兹达;托马斯·海因策;霍尔格·赫尔曼斯;穆罕默德·雷扎·穆萨维

时间和空间中兴奋剂检测的一致性关系和超属性。 （英语） Zbl 07471703号

日志。方法计算。科学。 18，第1号，第14号论文，39页（2022年）.
MSC公司：03B70型 68倍
PDF格式BibTeX公司 XML格式引用
\textit{S.Biewer}等人，Log。方法计算。科学。18，第1号，第14号论文，39页（2022；Zbl 07471703）
全文： arXiv公司 链接
伯恩哈德·艾切尼格（Bernhard K.Aichernig）。;马丁·塔普勒;费利克斯·沃纳

主动自动机学习的学习和测试算法的基准组合。 （英语） Zbl 1511.68136号

Ahrendt，Wolfgang（编辑）等人，《测试和证明》。第14届国际会议，TAP 2020，作为STAF 2020的一部分，于2020年6月22日至23日在挪威卑尔根举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12165, 3-22 (2020).
MSC公司：65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{B.K.Aichernig}等人，Lect。注释计算。科学。12165，3-22（2020年；Zbl 1511.68136）
全文： DOI程序
亚历山大·佩特伦科;佛罗伦萨阿维拉内达

学习通信状态机。 （英语） Zbl 07828024号

Beyer，Dirk（编辑）等人，《测试和证明》。2019年10月9日至11日，作为2019年第三届世界正式方法大会的一部分，在葡萄牙波尔图举行了第十三届国际会议，即2019年TAP。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11823, 112-128 (2019).
MSC公司：68问题32 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit｛A.Petrenko｝和\textit｛F.Avellaneda｝，Lect。注释计算。科学。11823、112-128（2019；Zbl 07828024）
全文： DOI程序
亚历山大·格拉夫·布里尔;霍尔格·赫尔曼斯

组件输入输出一致性。 （英语） Zbl 1533.68190号

Pérez，Jorge A.（编辑）等人，分布式对象、组件和系统的形式化技术。第39届IFIP WG 6.1国际会议，2019年FORTE，作为第14届分布式计算技术国际联合会议的一部分，于2019年6月17日至21日在丹麦Kongens Lyngby举行。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11535, 111-128 (2019).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.格拉夫·布里尔}和\textit{H.Hermanns}，莱克特。注释计算。科学。11535111-128（2019年；Zbl 1533.68190）
全文： DOI程序 哈尔
莫伊斯·克里钦

在时间域上使用自动机的确定技术测试实时系统。 （英语） Zbl 07142673号

Hierons，Robert Mark（编辑）等人，《计算的理论方面——2019年ICTAC》。2019年10月31日至11月4日，第16届国际学术讨论会，突尼斯哈马马特。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11884, 124-133 (2019).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Krichen}，莱克特。注释计算。科学。11884、124-133（2019；Zbl 07142673）
全文： DOI程序
亨德里克·罗姆;延斯·奥勒金;马蒂亚斯·沃尔;马蒂亚斯·阿尔霍夫

混合自动机的Reachset一致性测试。 （英语） Zbl 1366.68181号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。277-286 (2016).
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛H.Roehm｝等人，《第19届ACM混合系统国际会议论文集：计算与控制》，HSCC 2016，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。277--286（2016年；Zbl 1366.68181）
全文： DOI程序 链接
鲁帕克·马朱姆达尔;Vinayak S.普拉布。

计算河段流管之间的距离。 （英语） Zbl 1364.93246号

第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-3955-1）。267-276 (2016).
MSC公司：93B40码 93立方 93立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}和\textit{V.S.Prabhu}，摘自：第19届ACM混合系统国际会议论文集：计算与控制，2016年HSCC，奥地利维也纳，2016年4月12-14日。纽约州纽约市：计算机协会（ACM）。267--276（2016年；Zbl 1364.93246）
全文： DOI程序 arXiv公司
亚历山大·佩特伦科;奥马尔·恩格纳·蒂莫;拉梅什，S。

FSM的多重突变测试。 （英语） Zbl 1347.68236号

Albert，Elvira（编辑）等人，分布式对象、组件和系统的形式化技术。第36届IFIP WG 6.1国际会议，2016年FORTE，作为第11届分布式计算技术国际联合会议的一部分，2016年6月6日至9日在希腊克里特岛赫拉克利恩举行。诉讼程序。查姆：施普林格（ISBN 978-3-319-39569-2/pbk；978-3-3169-39570-8/电子书）。计算机科学讲座笔记9688，222-238（2016）。
MSC公司：60年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Petrenko}等人，Lect。注释计算。科学。9688、222--238（2016；Zbl 1347.68236）
全文： DOI程序 哈尔
Khakpour、Narges;穆罕默德·雷扎·穆萨维

网络物理系统一致性测试的概念：概述和路线图（特邀论文）。 （英语） Zbl 1374.68071号

Aceto，Luca（编辑）等人，第26届并发理论国际会议，CONCUR’15，西班牙马德里，2015年9月1日至4日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-91-0）。LIPIcs–莱布尼茨国际信息学论文集42，18-40（2015）。
MSC公司：64岁以下 68米15 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{N.Khakpour}和\textit{M.R.Mousavi}，LIPIcs——莱布尼茨国际程序。通知。42、18-40（2015年；Zbl 1374.68071）
全文： DOI程序
Nathalie Bertrand;杰伦，蒂埃里;艾米莉·斯坦纳;莫伊斯·克里钦

非确定性时间自动机的离线测试选择与测试目的。 （英语） Zbl 1315.68082号

Abdulla，Parosh Aziz（编辑）等人，《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议（TACAS 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19834-2/pbk）。计算机科学讲座笔记660596-111（2011）。
MSC公司：68号30 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，Lect。注释计算。科学。660596-111（2011年；Zbl 1315.68082）
全文： DOI程序 arXiv公司
伯多诺夫，I.B。;科萨切夫，A.S。

拒绝、分歧和破坏的交互语义。 （英语。俄文原件） Zbl 1251.68077号

程序。计算。柔和。 36，第5期，247-263（2010）; 译自Programmirovanie 36，No.5（2010）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{I.B.Bourdonov}和\textit{A.S.Kossatchev}，程序。计算。柔和。36，第5号，247--263（2010；Zbl 1251.68077）；译自Programmirovanie 36，No.5（2010）
全文： DOI程序
萨布丽娜·冯·斯特普;亨利克·博恩坎普;朱利安·施马耳茨

符号时间自动机的一致性测试关系。 （英语） Zbl 1290.68085号

Chatterjee，Krishnendu（编辑）等人，时间系统的形式化建模和分析。第八届国际会议，FORMATS 2010，奥地利克洛斯特内堡，2010年9月8-10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-15296-2/pbk）。计算机科学课堂讲稿6246243-255（2010）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.von Styp}等人，Lect。注释计算。科学。6246、243-255（2010年；Zbl 1290.68085）
全文： DOI程序
比拉尔·坎索;马克·艾吉尔;弗莱德里克·博朗格;阿西亚·图伊尔

测试抽象组件。 （英语） Zbl 1286.68082号

Cavalcanti，Ana（编辑）等人，《计算的理论方面——ICTAC 2010》。2010年9月1日至3日，巴西北里奥格兰德河纳塔尔举行的第七届国际学术讨论会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14807-1/pbk）。计算机科学讲稿6255184-198（2010）。
MSC公司：68号30 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{B.Kanso}等人，Lect。注释计算。科学。6255184--198（2010年；Zbl 1286.68082）
全文： DOI程序 链接
马丁·威格霍费尔;伯恩哈德·艾切尼格（Bernhard K.Aichernig）。

统一输入输出一致性。 （英语） 兹比尔1286.68095

巴特菲尔德，安德鲁（编辑），统一编程理论。第二届国际研讨会，2008年UTP，爱尔兰都柏林，2008年9月8-10日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-14520-9/pbk）。计算机科学课堂讲稿5713181-201（2010）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Weiglhofer}和\textit{B.K.Aichernig}，莱克特。注释计算。科学。5713、181--201（2010年；Zbl 1286.68095）
全文： DOI程序
蒂埃里·杰伦

基于符号模型的测试选择。 （英语） Zbl 1347.68228号

Machado，Patricia D.L.（编辑），第11届巴西正式方法研讨会论文集（SBMF 2008）2008年8月26日至29日，巴西萨尔瓦多。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记240，167-184（2009）。
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{Téron}，电子。注释Theor。计算。科学。240、167--184（2009年；Zbl 1347.68228）
全文： DOI程序
阿迪森·路易斯·博尼法西奥;阿纳多·维埃拉·穆拉;阿登尼索·达席尔瓦·西芒;何塞·卡洛斯·马尔多纳多

通过模型检查推导测试序列。 （英语） Zbl 1279.68198号

Moreira，Anamaria Martins（编辑）等人，《巴西正式方法研讨会论文集》（SBMF 2006），Natal，Rio Grande de Norte，巴西，2006年9月17日至23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记195，21-40（2008）。
MSC公司：60年第68季度 68米15
PDF格式BibTeX公司 XML格式引用
\文本{A.L.Bonifácio}等人，电子。注释Theor。计算。科学。195、21-40（2008年；Zbl 1279.68198）
全文： DOI程序
帕斯卡尔·勒加尔;尼古拉斯·拉宾;阿西亚·图伊尔

细化测试的符号执行技术。 （英语） Zbl 1196.68049号

古瑞维奇、尤里（编辑）等，《测试与证明》。2007年2月12日至13日在瑞士苏黎世举行的TAP 2007第一届国际会议。修订论文。柏林：施普林格出版社（ISBN 978-3-540-73769-8/pbk）。计算机科学课堂讲稿4454131-148（2007）。
MSC公司：68号30 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Le Gall}等人，Lect。注释计算。科学。4454、131--148（2007年；Zbl 1196.68049）
全文： DOI程序
伊斯梅尔·贝拉达;理查德·卡斯塔内特;帕特里克·费利克斯;阿齐兹·萨拉赫

使用时间绑定跟踪的实时系统的测试用例最小化。 （英语） Zbl 1185.68083号

Uyar，M.U mit（编辑）等人，《通信系统测试》。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约州纽约市，2006年5月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34184-6/pbk）。计算机科学课堂讲稿3964，289-305（2006）。
MSC公司：68米15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.Berrada}等人，Lect。注释计算。科学。3964、289--305（2006年；Zbl 1185.68083）
全文： DOI程序
克里斯托夫·加斯顿;帕斯卡尔·勒加尔;尼古拉斯·拉宾;阿西娅·图伊尔

用于测试目的定义的符号执行技术。 （英语） Zbl 1185.68413号

Uyar，M.U mit（编辑）等人，《通信系统测试》。第18届IFIP TC6/WG6.1国际会议，TestCom 2006，美国纽约州纽约市，2006年5月16日至18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-34184-6/pbk）。计算机科学课堂讲稿3964，1-18（2006）。
MSC公司：60年第68季度 68米15 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Gaston}等人，Lect。注释计算。科学。3964，1-18（2006年；兹bl 1185.68413）
全文： DOI程序
弗拉德·鲁苏;埃尔文·马尔坎德;杰伦，蒂埃里

用于验证反应系统安全特性的自动验证和一致性测试。 （英语） Zbl 1120.68420号

Fitzgerald，John（编辑）等人，FM 2005：形式方法。欧洲正式方法国际研讨会，英国纽卡斯尔，2005年7月18日至22日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27882-6/pbk）。计算机科学课堂讲稿3582189-204（2005）。
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Rusu}等人，Lect。注释计算。科学。3582189-204（2005年；兹比尔1120.68420）
全文： DOI程序
郭强;Robert M.Hierons。;马克·哈曼;卡尼格·德德里安

使用遗传算法计算独特的输入/输出序列。 （英语） Zbl 1185.68247号

Petrenko，Alexandre（编辑）等人，软件测试的形式化方法。2003年10月6日在加拿大魁北克省蒙特利尔举行的关于软件测试正式方法的第三次国际研讨会，FATES 2003。修订论文。柏林：施普林格出版社（ISBN 3-540-20894-1/pbk）。莱克特。注释计算。科学。2931, 164-177 (2004).
MSC公司：68N99型 65年第68季度 68T20型
PDF格式BibTeX公司 XML格式引用
\textit{Q.Guo}等人，Lect。注释计算。科学。2931、164--177（2004年；Zbl 1185.68247）
全文： DOI程序
曼努埃尔·努涅斯;伊斯梅尔·罗德里格斯

用于测试随机定时系统。 （英语） Zbl 1279.68029号

König，Hartmut（ed.）等人，网络和分布式系统的形式化技术–FORTE 2003。2003年9月29日至10月2日在德国柏林举行的第23届IFIP WG 6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20175-0/pbk）。莱克特。注释计算。科学。2767, 335-350 (2003).
MSC公司：68米15
PDF格式BibTeX公司 XML格式引用
\textit{M.Nunez}和\textit{I.Rodríguez}，莱克特。注释计算。科学。2767335--350（2003年；Zbl 1279.68029）
全文： DOI程序
Mariusz A.Fecko。;乌亚尔，密歇根州立大学;Ali Y.Duale。

面向测试SDL规范：并发计时器的模型和故障覆盖率。 （英语） Zbl 1279.68208号

König，Hartmut（ed.）等人，网络和分布式系统的形式化技术–FORTE 2003。2003年9月29日至10月2日在德国柏林举行的第23届IFIP WG 6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20175-0/pbk）。莱克特。注释计算。科学。2767, 273-288 (2003).
MSC公司：60年第68季度 68米15
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Fecko}等人，Lect。注释计算。科学。2767273-288（2003年；Zbl 1279.68208）
全文： DOI程序
哥波尔·科瓦奇;佐尔坦·帕普;黎越，Dung;吴恒昌，安塔尔;Gyula，Csopaki

将突变分析应用于SDL规范。 （英语） Zbl 1038.68758号

Reed，Rick（编辑）等人，SDL 2003：系统设计。第11届国际SDL论坛，德国斯图加特，2003年7月1日至4日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40539-9/pbk）。莱克特。注释计算。科学。2708, 269-284 (2003).
MSC公司：68单位99 68N99型
PDF格式BibTeX公司 XML格式引用
\textit{G.Kovács}等人，Lect。注释计算。科学。2708、269--284（2003年；Zbl 1038.68758）
全文： 链接
马库斯·勒珀;Baltasar Trancon y的Widemann;雅各布·威兰德

TUB-TCI是测试组件动态部署的体系结构。 （英语） Zbl 1029.68792号

Hogrefe，Dieter（编辑）等人，《通信系统测试》。2003年5月26日至28日，法国索菲亚·安蒂波利斯，第15届国际知识产权联合会国际会议，TestCom 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2644, 279-294 (2003).
MSC公司：68单位99 68M10个 68米15
PDF格式BibTeX公司 XML格式引用
\textit{M.Lepper}等人，Lect。注释计算。科学。2644279-294（2003年；兹比尔1029.68792）
全文： 链接
亚历山大·佩特伦科;尼娜·叶夫图申科;霍、贾乐

使用输入和输出测试仪测试过渡系统。 （英语） Zbl 1029.68856号

Hogrefe，Dieter（编辑）等人，《通信系统测试》。2003年5月26日至28日，法国索菲亚·安蒂波利斯，第15届国际知识产权联合会国际会议，TestCom 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2644, 129-145 (2003).
MSC公司：68单位99 68米15 68问题85
PDF格式BibTeX公司 XML格式引用
\textit｛A.Petrenko｝等人，Lect。注释计算。科学。2644、129--145（2003年；Zbl 1029.68856）
艾拉·阿查里亚;赫门德拉·库马尔·辛格

测试3G 1xEV-DV堆栈–案例研究。 （英语） Zbl 1029.68632号

Hogrefe，Dieter（编辑）等人，《通信系统测试》。2003年5月26日至28日，法国索菲亚·安蒂波利斯，第15届国际知识产权联合会国际会议，TestCom 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2644, 20-32 (2003).
MSC公司：68单位99 68M10个 68米15
PDF格式BibTeX公司 XML格式引用
\textit{I.Acharya}和\textit{H.Kumar Singh}，莱克特。注释计算。科学。2644，20--32（2003；Zbl 1029.68632）
全文： 链接
古斯塔夫·阿达米斯;卡塔琳·塔尔奈

基于框架的自适应测试用例选择。 （英语） Zbl 1032.68814号

Laddaga，Robert（编辑）等人，《自适应软件：应用》。2001年5月17日至19日，第二次国际研讨会，IWSAS 2001，匈牙利巴拉托夫里德。修订论文。柏林：斯普林格。莱克特。注释计算。科学。2614, 129-141 (2003).
MSC公司：68单位99 68N99型 68T05年
PDF格式BibTeX公司 XML格式引用
\textit｛G.Adamis｝和\textit｛K.Tarnay｝，Lect。注释计算。科学。2614、129--141（2003年；Zbl 1032.68814）
全文： 链接
艾哈迈德·库姆西

一种测试实时系统一致性的方法。 （英语） Zbl 1278.68036号

Damm，Werner（编辑）等人，《实时和容错系统中的形式化技术》。2002年9月9日至12日，第七届国际研讨会，FTRTFT 2002，由IFIP WG 2.2联合主办，德国奥尔登堡。诉讼程序。柏林：施普林格出版社（ISBN 3-540-44165-4/pbk）。计算机科学课堂讲稿2469331-351（2002）。
MSC公司：68米15 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Khoumsi}，莱克托。注释计算。科学。2469331--351（2002年；Zbl 1278.68036）
全文： DOI程序
马吕斯·博兹加;Jean-Claude费尔南德斯;卢西安·吉尔武

使用静态分析改进自动测试生成。 （英语） Zbl 0971.68644号

Graf，Susanne（编辑）等人，《系统构建和分析的工具和算法》。第六届国际会议，TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1785年，第235-250页（2000年）。
MSC公司：68单位99 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{M.Bozga}等人，Lect。注释计算。科学。1785，235-250（2000；Zbl 0971.68644）
本特·琼森（编辑）;约阿希姆·帕罗（编辑）;比约恩·佩尔森（编辑）

协议规范、测试和验证，XI。1991年6月18日至20日，瑞典斯德哥尔摩，IFIP工作组第6.1届国际研讨会会议记录。 （英语） Zbl 0800.68103号

阿姆斯特丹等地：荷兰北部。十三、 365页（1991年）。
MSC公司：68-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{B.Jonsson}（编辑）等，协议规范、测试和验证，XI。1991年6月18日至20日，瑞典斯德哥尔摩，IFIP工作组第6.1届国际研讨会会议记录。阿姆斯特丹等：北荷兰（1991；Zbl 0800.68103）
伊恩·戴维森（编辑）;大卫·M·利特瓦克。（编辑）

协议测试系统，III.IFIP TC6第三次国际研讨会会议记录，美国弗吉尼亚州麦克莱恩，1990年10月30日至11月1日。 （英语） Zbl 0800.68104号

阿姆斯特丹等地：荷兰北部。九、 第462页（1991年）。
MSC公司：68-06 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{I.Davidson}（ed.）和\textit{D.M.Litwack}（edi.），协议测试系统，III.IFIP TC6第三次国际研讨会会议记录，美国弗吉尼亚州麦克莱恩，1990年10月30日至11月1日。阿姆斯特丹等：北荷兰（1991；Zbl 0800.68104）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件