CAFEOBJ AS A TOOL FOR BEHAVIORAL SYSTEM VERIFICATION

作者:科技文献资料网 时间:2018-10-20 04:55:46   浏览:8180   来源:科技文献资料网
下载地址: 点击此处下载
[唯一标识符]:CDSTIC.ISTP.253872
[文献来源]:科学技术会议录索引(ISTP)
[文献类型]:科技会议
[标题]:CAFEOBJ AS A TOOL FOR BEHAVIORAL SYSTEM VERIFICATION
[作者]:A MORI;K FUTATSUGI
[出版单位]:SPRINGER-VERLAG BERLINBERLIN
[ISSN_ISBN]:3-540-00708-3
[会议名称]:International Symposium on Software Security,TOKYO, JAPAN,November 8-10, 2002
[来源]:SOFTWARE SECURITY - THEORIES AND SYSTEMS,pp 461-470
[系列名称]:LECTURE NOTES IN COMPUTER SCIENCE
[编辑者]:EM Okada;B Pierce;A Scedrov;H Tokuda;A Yonezawa
[主办单位]:Japanese Minist Educ Sci & Culture;Japanese Soc Promot Sci;Natl Sci Fdn
[地址]:,
[专业领域]:COMPUTER SCIENCE, THEORY & METHODS
下载地址: 点击此处下载
[唯一标识符]:CDSTIC.ISTP.331617
[文献来源]:科学技术会议录索引(ISTP)
[文献类型]:科技会议
[标题]:STEMWEDE, A 1.5 MW WIND ENERGY PLANT - PRELIMIARY RESULTS OF A HIGH-PERFORMANCE WIND ENERGY PLANT IN GERMANY
[作者]:R POTTBROCK;M SOMMERSTANGE;M SIEBERT
[出版单位]:V D I/V D E - VERLAG GMAHDUSSELDORF
[ISSN_ISBN]:3-18-091495-5
[会议名称]:Conference on Trends in Energy and Power Plant Technology,ESSEN, GERMANY,September 22-23, 1999
[来源]:TRENDS IN ENERGY AND POWER PLANT TECHNOLOGY,pp 469-480
[系列名称]:VDI BERICHTE
[编辑者]:CVEREIN DEUTSCHER INGENIEURE
[主办单位]:VDI Gesell Energietechn
[地址]:,
[专业领域]:ENGINEERING, MECHANICAL,ENERGY & FUELS,ENGINEERING, ELECTRICAL & ELECTRONIC
[文献类型]:科技报告
[标题]:System Identification of an Ultra-Quiet Vibration Isolation Platform.
[作者]:beavers, g. d.
[机构]:Naval Postgraduate School, Monterey, CA.
[关键词]:vibration isolators, mathematical models, coupling(interaction), damping, theses, degrees of freedom, structural response, systems analysis, actuators, control theory,vibration control
[出版年份]:1998
[报告时间]:Jun 97,
[页码]:170p
[馆藏索取号]:AD-A335286
[总页数]:170