Browse by Type Article
Showing results 37901 to 37920 of 100587
| 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 |
| 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 |
| 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 |
| Formal Specification of a JavaScript Module System Kang, Seonghoon; Ryu, Sukyoung, ACM SIGPLAN NOTICES, v.47, no.10, pp.621 - 638, 2012-10 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
Formation and Characterization of Various ZnO/SiO2-Stacked Layers for Flexible Micro-Energy Harvesting Devices Yoon, Chongsei; Jeon, Buil; Yoon, Giwan, APPLIED SCIENCES, v.8, no.7, 2018-07 |
| FORMATION AND EPITAXIAL-GROWTH OF TITANIUM-DISILICIDE ON SI (111) CHOI, CK; PARK, HH; Lee, JeongYong; CHO, KI; PAEK, MC; KWON, OJ; KIM, KH; et al, JOURNAL OF CRYSTAL GROWTH, v.115, no.1-4, pp.579 - 588, 1991-12 |
| Formation and functionalization of membraneless compartments inEscherichia coli Wei, Shao-Peng; Qian, Zhi-Gang; Hu, Chun-Fei; Pan, Fang; Chen, Meng-Ting; Lee, Sang Yup; Xia, Xiao-Xia, NATURE CHEMICAL BIOLOGY, v.16, no.10, pp.1143 - 1148, 2020-10 |
| Formation and growth of a nanosized RuIr bimetallic cluster supported on NaY zeolite Cho, SJ; Ryoo, Ryong, JOURNAL OF PHYSICAL CHEMISTRY B, v.105, no.7, pp.1293 - 1298, 2001-02 |
| FORMATION AND GROWTH OF A RU CLUSTER IN A Y-ZEOLITE SUPERCAGE PROBED BY XE-129 NMR-SPECTROSCOPY AND XENON ADSORPTION MEASUREMENTS CHO, SJ; JUNG, SM; SHUL, YG; Ryoo, Ryong, JOURNAL OF PHYSICAL CHEMISTRY, v.96, no.24, pp.9922 - 9927, 1992-11 |
| Formation and Growth of an Layer in the Chemical Vapor Deposition of Tic onto Cemented Carbides C. W. Lee; J. S. Chun; Oh, Dong Young, THIN SOLID FILMS, v.86, no.1, pp.73 - 78, 1981 |
| Formation and microstructural characterization of In2O3 sheath layer on InN nanostructures Ahn, Hung Bae; Kim, Young Heon; Kim, Moon Deock; Kim, Chang Soo; Lee, JeongYong, CHEMICAL PHYSICS LETTERS, v.499, no.1-3, pp.131 - 135, 2010-10 |
| Formation and observation of ferroelectric domains in PbZr1-x TixO3 (PZT) thin films using atomic force microscopy Hong, Daniel Seungbum; Shin, Hyunjung; Lee, Kyongmi; Lim, Geunbae; Jeon, Jong up; Pak, Y. Eugene; No, Kwangsoo, SPIE Proceedings , v.3675, 1999-07 |
Discover
Type
Open Access
Date issued
- 32,456 2020 - 2024
- 100,060 2010 - 2019
- 75,675 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969