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

维普中文期刊产品整合服务

16篇 您的检索式：作者名="Bultan T"

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

		题名	作者	年代	出处	被引量
	1	A fast neural- network algorithm for VLSI cell placement 显示文摘	Aykanat C Bultan T Haritaoglu O	1998	Neural Networks1998，，11：	1
	2	Conversation protocols:a formalism for specification and verification of reactive electronic services显示文摘	Fu X Bultan T Su J W	2004	Theoretical Computer Science2004，328，12：	1
	3	Analyzing conversations of Web services 显示文摘	BULTAN T JIANWEN S XIANG F	2006	IEEE Internet Computing2006，10，1：	1
	4	Synchronizability of conversations among Web services显示文摘	Fu X Bultan T Su J	2005	IEEE Transactions on Software Engineering2005，31，12：	1
	5	Automated verification of XACML policies using a SAT solver显示文摘	HUGHES G BULTAN T	2008	Software Tools for Technology Transfer2008，10，6：	1
	6	Model-checking concurrent systems with unbounded integer variables:Symbolic representations,approximations,and experimental results显示文摘	T Bultan R Gerber W Pugh	1999	ACM Transactions on Programming Languages and Systems1999，21，4：	1
	7	A fast neural - network algorithm for VLSI cell placement显示文摘	Aykanat C Bultan T Haritaoglu O	1998	Neural Networks1998，，11：	1
	8	Analyzing conversations of Web services 显示文摘	Bultan T Su J FU X	2006	IEEE Intemet Computing2006，10，1：	1
	9	Automated Verification of XACML Po- licies Using a SAT Solver显示文摘	Hughes G Bultan T	2008	International Journal on Software Tools for Technology Transfer2008，10，6：	1
	10	Synchronizability of conversations among web services 显示文摘	Fu X Bultan T Su J	2005	IEEE Transactions on Software Engineering2005，31，12：	1
	11	Realizability of Choreographies Using Process Algebra Encodings显示文摘	Salaun G Bultan T Roohi N	2012	IEEE Transactions on Services Computing2012，5，2：	1
	12	Specification of realizable service conver- sations using collaboration diagrams显示文摘	BULTAN T FU X	2008	Service Oriented Computing and Applications2008，2，1：	1
	13	Realizability of cho- reographies using process algebra encodings显示文摘	SALAUN G BULTAN T ROOHI N	2012	IEEE Trans- actions Services Computing2012，5，3：	1
	14	Analyzing conversation of web services 显示文摘	BULTAN T FU X SU J W	2006	IEEE Internet Computing2006，10，1：	1
	15	Synchronizability of conversations among web services 显示文摘	Fu X BULTAN T SU J W	2005	IEEE Transactions on Software Engineering2005，31，12：	1
	16	WSAT:a tool for formal analysis of web services显示文摘	Fu Xiang Bultan T Su Jianwen	2004	Lecture Notes in Computer Science2004，3114，：	1

返回顶部每页显示：

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

goolge学术搜索-维普

网站首页 | 关于我们 | 联系我们 | 产品服务 | 客服中心 | 广告服务 | 版权声明 | 网站联盟 | 友情链接 | 售卡网点

版权所有© 渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心

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