热门站点| 世界资料网 | 专利资料网 | 世界资料网论坛
收藏本站| 设为首页| 首页

Model Checkers in Software Testing.

作者:科技文献资料网 时间:2017-06-24 11:38:40  浏览:9528   来源:科技文献资料网
下载地址: 点击此处下载
[文献类型]:科技报告
[标题]:Model Checkers in Software Testing.
[作者]:P. E. Black; P. Ammann; W. Ding;
[机构]:National Inst. of Standards and Technology (CSL), Gaithersburg, MD. Software Diagnostics and Conformance Testing Div.**George Mason Univ., Fairfax, VA.
[关键词]:model checks,software testing,computation engines, formal methods, static analysis, specifications, codes, software development, test criteria,
[出版年份]:2002
[报告号]:NISTIR-6777
[报告时间]:1 Feb 2002,
[页码]:48p
[馆藏索取号]:PB2001107249
[总页数]:0


下载地址: 点击此处下载
[文献类型]:科技报告
[标题]:Combined Cycles for Power Plants.
[机构]:von Karman Inst. for Fluid Dynamics,Rhode-Saint-Genese (Belgium).
[关键词]:clean fuels,coal,combined cycle power generation,electric power plants,steam turbines,thermodynamic cycles,gas turbines,natural gas,systems engineering,clean energy,cooling systems,efficiency,electric generators,fluidized bed processors,gasification,heat radiators,optimization,thermodynamics,foreign technology,air pollution conrol,ntisnasae,ntisfnbe
[出版年份]:1994
[报告号]:VKI-LS-1993-08, ETN-94-95455
[报告时间]:c1993,
[页码]:496p
[馆藏索取号]:N9428077
[总页数]:7


[唯一标识符]:CDSITC.AEROSPACE.N90-19884
[文献来源]:美国航空航天数据库(aerospace)
[资源原始索取号]:N1990-19884; Reference AN: N90-19884
[标题]:Annealing group III-V compound doped silicon-germanium alloy for improved thermo-electric conversion efficiency
[作者]:VANDERSANDE JAN W; WOOD CHARLES; DRAPER SUSAN L inventor(s) S
[文摘]:The thermoelectric conversion efficiency of a GaP doped SiGe alloy is improved about 30 percent by annealing the alloy at a temperature above the melting point of the alloy, preferably stepwise from 1200 C to 1275 C in air to form large grains having a size over 50 microns and to form a GeGaP rich phase and a silicon rich phase containing SiP and SiO2 particles. (Official Gazette of the U.S. Patent and Trademark Office)
[关键词]:ADDITIVES ; GALLIUM PHOSPHIDES; GERMANIUM ALLOYS; SILICON ALLOYS; THERMOELECTRICITY ; GRAIN SIZE; PATENTS
[出版年份]:1989
[专业领域]:SOLID STATE PHYSICS

版权声明:所有资料均为作者提供或网友推荐收集整理而来,仅供爱好者学习和研究使用,版权归原作者所有。
如本站内容有侵犯您的合法权益,请和我们取得联系,我们将立即改正或删除。
信息产业部备案号:京ICP备09025792号