Browse by Type Article

Showing results 37841 to 37860 of 100433

37841
FORM: A flexible data model for integrated CASE environments

Kim, Duk-Hyun; Park, Sung Joo, DATA KNOWLEDGE ENGINEERING, v.22, no.2, pp.133 - 158, 1997-04

37842
Formability classifier for a TV back panel part with machine learning

Fazily, Piemaan; Cho, Donghyuk; Choi, Hyunsung; Cho, Joon Ho; Lee, Jongshin; Yoon, Jeong Whan, INTERNATIONAL JOURNAL OF MATERIAL FORMING, v.16, no.6, 2023-11

37843
Formability of the Steel Sheet at the Intermediate Strain Rate

Huh, Hoon; Kim, Seok Bong; Han, Soo Sik; Park, Sung Ho, Proceedings of AEPA 2004, pp.403~408, 2004, 2004

37844
Formability of the steel sheet at the intermediate strain rate

Huh, Hoon; Lim, JH; Kim, SB; Han, SS; Park, SH, ADVANCES IN ENGINEERING PLASTICITY AND ITS APPLICATIONS, PTS 1 AND 2 BOOK SERIES: KEY ENGINEERING MATERIALS, v.274-276, pp.403 - 408, 2004

37845
Formal construction and verification of home service robots: A case study

Kim, Moonzoo; Kang, KC, AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS BOOK SERIES: LECTURE NOTES IN COMPUTER SCIENCE, v.3707, pp.429 - 443, 2005

37846
FORMAL DEFINITION AND ENTROPY CALCULATION OF HIERARCHICAL ATTRIBUTED RANDOM GRAPH

SEONG, DS; KIM, HS; Park, Kyu Ho, PATTERN RECOGNITION LETTERS, v.13, no.8, pp.545 - 555, 1992-08

37847
Formal development of an operation monitoring and control system for nuclear reactors using Event-B method

Kim, Jihun; Park, Moon-Ghu, INTERNATIONAL JOURNAL OF ENERGY RESEARCH, v.44, no.10, pp.8170 - 8180, 2020-08

37848
Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances

Kim, Moonzoo, ATVA, 2007

37849
Formal Modeling and Verification of Safety-Critical Software

Yoo J.; Jee, Eunk Young; Cha S., IEEE SOFTWARE, v.26, no.3, pp.42 - 49, 2009

37850
Formal or informal human collaboration approach to maritime safety using FRAM

Lee, Joohee; Yoon, Wan Chul; Chung, Hyun, COGNITION TECHNOLOGY & WORK, v.22, no.4, pp.861 - 875, 2020-11

37851
Formal Safety Analysis for PLC Software-Based Safety Critical System Using Z

Koh, Jung Soo; Seong, Poong-Hyun; Son, Han Seong, TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, v.70, pp.314 - 315, 1997

37852
Formal Specification of a JavaScript Module System

Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10

37853
Formal synthesis of application and platform behaviors of embedded software systems

Kim, Jinhyun; Kang, Inhye; Choi, Jin-Young; Lee, Insup; Kang, Sungwon, SOFTWARE AND SYSTEMS MODELING, v.14, no.2, pp.839 - 859, 2015-05

37854
Formal verification of functional properties of a SCR-style software requirements specification using PVS

Kim, T; Stringer-Calvert, D; Cha, Sungdeok, RELIABILITY ENGINEERING & SYSTEM SAFETY, v.87, no.3, pp.351 - 363, 2005-03

37855
Formalized entity extraction methodology for changeable business requirements

Kim, Namgyu; Lee, Sangwon; Moon, Songchun, JOURNAL OF INFORMATION SCIENCE AND ENGINEERING, v.24, no.3, pp.649 - 671, 2008-05

37856
Formation and Accumulation of Intragranular Pores in the Hydrothermally Synthesized Barium Titanate Nanoparticles

Baek, Changyeon; Wang, Ji Eun; Moon, San; Choi, Chang-Hak; Kim, Do Kyung, JOURNAL OF THE AMERICAN CERAMIC SOCIETY, v.99, no.11, pp.3802 - 3808, 2016-11

37857
Formation and characterization of monodisperse, spherical organo-silica powders from organo-alkoxysilane-water system

Choi, Jae Young; Kim, Chong Hee; Kim, Do Kyung, JOURNAL OF THE AMERICAN CERAMIC SOCIETY, v.81, no.5, pp.1184 - 1188, 1998-05

37858
Formation and Characterization of Tetrabutylammonium Sulfate Radicals : application to Organic Synthesis

J. C. Jung; H. C. Choi; Kim, Yong Hae, PHOSPHORUS SULFUR AND SILICON AND THE RELATED ELEMENTS, v.95, no.1-4, pp.431 - 433, 1994

37859
Formation and characterization of the fluorocarbonated-SiO2 films by O-2/FTES-helicon plasma chemical vapor deposition

Oh, KS; Kang, MS; Lee, KM; Kim, DS; Choi, CK; Yun, SM; Chang, Hong-Young; et al, THIN SOLID FILMS, v.345, no.1, pp.45 - 49, 1999-05

37860
Formation and characterization of the MgO protecting layer deposited by plasma-enhanced metal-organic chemical-vapor deposition

Kang, MS; Lee, KM; Byun, JC; Kim, DS; Choi, CK; Lee, JeongYong; Kim, KH, JOURNAL OF THE KOREAN PHYSICAL SOCIETY, v.35, pp.S447 - S451, 1999-07

rss_1.0 rss_2.0 atom_1.0