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

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

9篇 您的检索式：作者名="Heitmeyer C L"

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

		题名	作者	年代	出处	被引量
	1	A security model for military message systems 显示文摘	Landwehr C E Heitmeyer C L McLean J	1984	ACM Transactions on Computer Systems1984，2，3：	1
	2	Applying Formal Methods to a Certifiably Secure Software System显示文摘	Heitmeyer C L Archer M Leonard E	2008	IEEE Trans on Software Engineering2008，34，1：	1
	3	Automated consistency checking of requirements specifications显示文摘	Heitmeyer C L Jeffords R D Labaw B G	1996	ACM Transactions on Software Engineering and Methodology (TOSEM)1996，5，3：	1
	4	Shipping Noise Predictions-Capabilities and Limitations 显示文摘	Heitmeyer R M Wales S C Pflug L A	2003	Marine Technology Society Journal2003，37，4：	1
	5	Automated Consistency Checking of Requirements Specifications 显示文摘	Heitmeyer C L Jeffords R D Labaw D G	1996	ACM Transactions on Software Engineering and Methodology1996，5，3：	1
	6	A Security Model for Military Message Systems显示文摘	Landwehr C E Heitmeyer C L Mclean J	1984	ACM Transactions on Computer Systems1984，9，3：	1
	7	Automated consistency checking of requirements specifications 显示文摘	HEITMEYER C L JEFFORDS R D LABAW B G	1996	ACM Trans on Software Engineering and Methodology1996，5，3：	1
	8	Automated consistency checking of requirements specifications显示文摘	R D Jeffords B G Labaw	1996	ACM Trans on Software Eng and Methodology1996，5，3：	1
	9	A security model for military message systems显示文摘	Landwehr C E Heitmeyer C L Mclean J	1984	ACM Transactions on Computer Systems1984，9，3：	1

返回顶部每页显示：

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

goolge学术搜索-维普

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

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

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