USING ATTRIBUTED GRAMMARS TO TEST DESIGNS AND IMPLEMENTATIONS.

被引：0

作者：

Duncan, A.G.

Hutchinson, J.S.

机构：

来源：

Proceedings - International Conference on Software Engineering | 1981年

关键词：

Compendex;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

Automata theory

引用

页码：170 / 178

共 50 条

[41] Lubricant oxidation monitoring using FTIR analysis - Application to the development of a laboratory bulk oxidation test and to in-service oil evaluation [J].

Obiols, Jerome .

SAE Techni. Paper., 2003,

[42] Implementation of safety education program for material handling equipment in construction sites and its effectiveness analysis using T-test [J].

Anil Kumar, C.N. ;

Krishnaraj, R. ;

Sakthivel, M. ;

Arularasu, M. .

International Journal of Applied Environmental Sciences, 2013, 8 (15) :1961-1969

[43] Prediction of production test performances in Eastern Nankai trough methane hydrate reservoirs using 3D reservoir model [J].

Japan Oil Engineering Co., Ltd., Japan ;

不详 ;

不详 .

Proc. Annu. Offshore Technol. Conf., (1892-1913)

[44] Elderly Conversational Speech Corpus with Cognitive Impairment Test and Pilot Dementia Detection Experiment Using Acoustic Characteristics of Speech in Japanese Dialects [J].

Fukuda, Meiko ;

Umezawa, Maina ;

Nishimura, Ryota ;

Iribe, Yurie ;

Yamamoto, Kazumasa ;

Kitaoka, Norihide .

2022 Language Resources and Evaluation Conference, LREC 2022, 2022, :1016-1022

[45] EXPERIMENTAL MOBILE SATELLITE SYSTEM FOR COMMUNICATIONS USING ENGINEERING TEST SATELLITE-V(ETS-V/EMSS-C). [J].

Miura, S. ;

Ishide, A. ;

Kondo, K. .

1984,

[46] High-rate mode II fracture toughness testing of polymer matrix composites using the Transverse Crack Tension (TCT) test [J].

Hahn, Philipp ;

Channammagari, Harichandana ;

Imbert, Mathieu ;

May, Michael .

Composites Part B: Engineering, 2022, 233

[47] VOLCANIC SO2 NEAR-REAL TIME RETRIEVAL USING TROPOMI DATA AND NEURAL NETWORKS: THE DECEMBER 2018 ETNA TEST CASE [J].

de Santis, D. ;

Petracca, I. ;

Corradini, S. ;

Guerrieri, L. ;

Picchiani, M. ;

Merucci, L. ;

Stelitano, D. ;

Del Frate, F. ;

Prata, F. ;

Schiavon, G. .

International Geoscience and Remote Sensing Symposium (IGARSS), 2021, :8480-8483

[48] A gel-forming poly-l-guluronic acid produced from no guluronate-rich marine algae using new hydrolysis method: Test for endovascular embolization [J].

Department of Chemistry, Yeungnam University, Gyeongsan, Korea, Republic of ;

不详 ;

不详 .

J. Mater. Sci. Mater. Med., 9 (1917-1926)

[49] STRESS CORROSION CRACKING TEST USING NOTCHED ROUND-BAR SPECIMEN OF TYPE 310 S STEEL IN 25% MgCl2 SOLUTION AT 80 degree C. [J].

Tsujikawa, Shigeo ;

Shinohara, Tadashi ;

Hisamatsu, Yoshihiro .

Boshoku gijutsu, 1980, 29 (10) :512-516

[50] Retraction Note to: Test data compression for digital circuits using tetrad state skip scheme (Des Autom Embed Syst, (2017), 21, (197–211), 10.1007/s10617-017-9196-6) [J].

Sivanandam, Lokesh ;

Oorkavalan, Uma Maheswari ;

Periyasamy, Sakthivel .

Design Automation for Embedded Systems, 2022, 26 (02)

← 1 2 3 4 5 →