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

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

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

	题名	作者	年代	出处	被引量
1	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
2	A security model for military message systems 显示文摘	Landwehr C E Heitmeyer C L McLean J	1984	ACM Transactions on Computer Systems1984，2，3：	1
3	Managing complexity in software deve- lopment with formally based tools 显示文摘	HEITMEYER C	2004	Electronic Notes in Theoretical Computer Science2004，108，：	1
4	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
5	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
6	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
7	A security model for military message systems显示文摘	LANDWEHR C HEITMEYER C MCLEAN J	1984	ACM Transactions on Computer Systems1984，2，3：	1
8	Formal methods for specifying,validating,and verifying requirements显示文摘	Heitmeyer C	2007	Journal of Universal Computer Science2007，13，5：	1
9	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
10	Shipping Noise Predictions-Capabilities and Limitations 显示文摘	Heitmeyer R M Wales S C Pflug L A	2003	Marine Technology Society Journal2003，37，4：	1
11	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
12	A Security Model for Military Message Systems显示文摘	Landwehr C E Heitmeyer C L Mclean J	1984	ACM Transactions on Computer Systems1984，9，3：	1
13	Predictors for contrast media - induced nephropathy and long - term survival: Prospectively assessed data from the randomized controlled Dialysis - Versus - Diuresis (DVD) trial显示文摘	Holscher B Heitmeyer C Fobker M	2008	Can J Cardiol2008，24，11：	1
14	A Security Model for Military Message Systems显示文摘	Landwehr C Heitmeyer C McLean J	1984	CM Transactions on Computer Systems1984，2，3：	1
15	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
16	Prognostic value of different laboratory measures of renal function for long-term mortality after contrast media-associated renal impairment显示文摘	Heitmeyer C Holscher B Fobker M	2010	Clin Cardiol2010，33，12：	1
17	Predictors for contrast media - induced nephropathy and long - term survival : prospective- ly assessed data from the randomized controlled Dialysis - Versus - Diuresis (DVD) trial 显示文摘	Holscher B Heitmeyer C Fobker M	2008	Can J Cardiol2008，24，：	1
18	Using model checking to generate tests from requirements specifications显示文摘	GARGANTINI A HEITMEYER C	1999	Software Engineering Notes1999，24，6：	1
19	Automated consistency checking of requirements specifications显示文摘	R D Jeffords B G Labaw	1996	ACM Trans on Software Eng and Methodology1996，5，3：	1
20	Applying formal methods to a certifiably secure software system 显示文摘	Heitmeyer C Archer M Leonard E	2008	IEEE Transactions on Software Engineering2008，34，1：	1

返回顶部每页显示：

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

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

用户提示