维普期刊资源整合服务平台（V6.5）

40篇 您的检索式：作者名="Bochmann G"

选中清除导出查看参考文献查看引证文献引用追踪共2页首页上一页第1页下一页末页 /2 跳转

	题名	作者	年代	出处	被引量
1	Some comments on transition-oriented versus structured specification of distributed algorithms and protocols显示文摘	Bochmann G V Verjus J P	1987	IEEE Transactions on Software Engineering1987，13，：	1
2	Formal methods in communication protocol design显示文摘		1980	IEEE Trans on Communications1980，28，4：	1
3	Test selection based on finite state models显示文摘	Fujiwara S Bochmann G Khendek F	1991	IEEE Transactions on Software Engineering1991，17，6：	1
4	Test selection based onfinite state models显示文摘	S Fujiwara G Bochmann F Khendek	1991	IEEE Transactions on Software Engineering1991，17，6：	1
5	Test Selection Based on Finite State Models 显示文摘	Fujiwara S Bochmann G V	1991	IEEE Trans Software Engineering1991，17，6：	1
6	Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method 显示文摘	Luo G Bochmann G Petrenko A	1994	IEEE Transactions on Software Engineering1994，20，2：	1
7	FSM- based incremental conformance testing methods显示文摘	KHALED El- Fakih YEVTUSHENKO N BOCHMANN G V	2004	IEEE Trans on Software Engineering2004，30，7：	1
8	Pushing quality of service information and requirements into global query optimization显示文摘	Haiwei Ye Kerherve B Bochmann G V	2003	Database Engineering and Applications Sym posium2003，，7：	1
9	Zirconocenes as initiator for carbocationnic isobutene homo and copoly-merizations显示文摘	Carr A G Dawson D M Bochmann M	1998	Macromolecules1998，31，20：	1
10	Specification of a Simplified Transport Protocol Using Different Formal Description Techniques 显示文摘	Bochmann G V	1989	Computer Networks and ISDN Systems1989，18，：	1
11	FSM-based incremental conformance testing methods显示文摘	E1-FAKIH K YEVTUSHENKO N BOCHMANN G V	2004	Software Engineering IEEE Transactions2004，30，7：	1
12	Model reactions on roast aroma formation I : Reaction of serine and threonine with sucrose under the conditions of coffee roasting and identification of new coffee aroma compounds 显示文摘	Bahes W Bochmann G	1987	Journal of Agricultural and Food Chemistry1987，35，3：	1
13	A pattern system for network management interfaces显示文摘	Keller RK Tessier J Von Bochmann G	1998	Communications of the ACM1998，41，9：	1
14	Test selection based on finite state model显示文摘	FUJIWARA S BOCHMANN G KHENDEK F	1991	IEEE Transactions on Software Engineering1991，17，6：	1
15	Zirconium as intiator for carbocationnic isobutene homo and copolymerizations 显示文摘	Carr A G Dawson D M Bochmann M	1998	Macromolecules1998，31，10：	1
16	FSM-based incremental testing methods显示文摘	EL-FAKIH K YEVTUSHENKO N BOCHMANN G	2004	IEEE Trans on Software Engineering2004，30，7：	1
17	A test design methodology for protocol testing显示文摘	Sarikaya Bochmann G Cerny E	1987	IEEE Trans Software Eng1987，13，5：	1
18	Trace analysis for conform- ance and arbitration testing 显示文摘	Bochmann G V Dssouli R Zhao J R	1989	IEEE Transactions on Software Engineering1989，15，11：	1
19	Model reactions on roast aroma formation III: Mass spectrometry identification of pyrroles from the reaction of serine and threonine with sucrose under the conditions of coffee roasting显示文摘	Baltes W Bochmann G	1987	Zeitschrift fti r Lebensmittel-Untersuchung und Forschung1987，184，6：	1
20	A Framework for Alarm Correlation and Fault Diagnosis显示文摘	Guiagoussou M Boutaba R Bochmann G V	1999	International Journal on Networking and Information Systems Oxford-Hermes Science Publishing1999，2，：	1

返回顶部每页显示：

共2页首页上一页第1页下一页末页 /2 跳转

互联网出版许可证新出网证(渝)字10号全国400电话 - 免长途话费

用户提示