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

38篇 您的检索式：作者名="Heitmeyer"

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

	题名	作者	年代	出处	被引量
1	Using Model Checking to Generate Tests From Requirements Specifications显示文摘	Constance Heitmeyer	1999	Software Eng Notes1999，24，6：	1
2	Model Checking Complete Requirements Specifications Using Abstraction显示文摘	Ramesh Bharadwaj Constance L. Heitmeyer	1999	Automated Software Engineering1999，，1：	1
3	A Security Model for Military Message Systems显示文摘	Carl Landwehr Constance Heitmeyer John McLean	1984	CM Transactions on Computer Systems1984，2，3：	1
4	Disintegration, recognition, and violence:a theoretical perspective显示文摘	Heitmeyer W R.Anhut		0，，119：	1
5	SCR: A toolset for specifying and analyzing software requirements 显示文摘	Heitmeyer C Kirby J Labaw B	1998	Lecture Notes in Computer Science : Computer Aided Verification1998，1427，：	1
6	A security model for military message systems显示文摘	Landwehr CE Heitmeyer CL McLean J	1984	ACM Trans on Computer Systems1984，9，3：	1
7	A security model for military message systems 显示文摘	Landwehr C E Heitmeyer C L McLean J	1984	ACM Transactions on Computer Systems1984，2，3：	1
8	Managing complexity in software deve- lopment with formally based tools 显示文摘	HEITMEYER C	2004	Electronic Notes in Theoretical Computer Science2004，108，：	1
9	Acoustic source-level measurements for a variety of merchant ships 显示文摘	SCRIMGER P HEITMEYER R M	1991	J Acoust Soc Am1991，，2：	1
10	Environmental and system effects on source localization in shallow water by the matched - field pro- cessing of a vertical array 显示文摘	R M Hamson R M Heitmeyer	1989	The Journal of the Acoustical Socie- ty of America1989，86，5：	1
11	Gait analysis in a rat model of osteoarthrosis显示文摘	Clarke KA Heitmeyer SA Smith AG	1997	Physiol Behav1997，62，5：	1
12	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
13	An ensemble source spectra model for merchant ship-radiated noise显示文摘	Wales S C Heitmeyer R M	2002	Journal of the Acoustical Society of America2002，111，：	1
14	An Ensemble Source Spectra Model for Merchant Ship-radiated Noise显示文摘	Wales S C Heitmeyer R M	2002	Journal of Acoustical Society of America2002，111，3：	1
15	P38 MAP kinase inhibi- tors as potential therapeutics for the treatment of joint degeneration and pain associated with osteoal'thritis显示文摘	Brown KK Heitmeyer SA Hookfin EB	2008	J Inflamm2008，5，：	1
16	Moderation of iodoacetate-induced experimental osteoarthritis in rats by matrix metalloproteinase inhibitors显示文摘	JANUSZ M J HOOKFIN E B HEITMEYER S A	2001	Osteoarthritis Cartilage2001，9，8：	1
17	A security model for military message systems显示文摘	LANDWEHR C HEITMEYER C MCLEAN J	1984	ACM Transactions on Computer Systems1984，2，3：	1
18	Formal methods for specifying,validating,and verifying requirements显示文摘	Heitmeyer C	2007	Journal of Universal Computer Science2007，13，5：	1
19	P38 MAP kinase in- hibitors as potential therapeutics for the treatment of joint degener- ation and pain associated with osteoarthritis 显示文摘	Brown KK Heitmeyer SA Hookfin EB	2008	J Inflamm (Lond)2008，5，：	1
20	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

返回顶部每页显示：

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

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

用户提示