Browse by Title
Showing results 93121 to 93140 of 275604
| 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 |
| 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 |
| 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 |
| Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multirobot Coordination Alur, Rajeev; Esposito, Joel M.; Kim, Moonzoo; Kumar, Vijay; Lee, Insup, World Congress on Formal Methods, pp.212 - 232, World Congress on Formal Methods, 1999-09-20 |
| Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances Kim, Moonzoo, ATVA, 2007 |
| Formal Modeling and Verification of High-Availability Protocol for Network Security Appliances Kim, Moonzoo, International Symposium on Automated Technology for Verification and Analysis, pp.489 - 500, ATVA, 2007-10-24 |
| 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 Representation of Guarded Logic Programs Using Petri Net Model 정인정; 이흥규, Proc. of the 20th Korea Information Science Society Fall Conf., v.20, no.2, pp.1081 - 1084, 한국정보과학회, 1993 |
| 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 specification of a JavaScript module system = JavaScript 모듈 시스템의 정형 명세link Kang, Seonghoon; 강성훈; et al, 한국과학기술원, 2012 |
| Formal specification of a JavaScript module system Kang, Seonghoon; Ryu, Sukyoung, ACM international conference on Object oriented programming systems languages and applications, ACM SIGPLAN, 2012-10-26 |
| Formal Specification Supporting Incremental and Flexible Agent-Based Modeling Bae, Jangwon; Lee, Geunho; Moon, Il-Chul, 2012 Winter Simulation Conference, WSC 2012, WSC 2012, 2012-12-12 |
| 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 total synthesis of isocarbacyclin and an efficient synthesis of $LTA_4$ intermediate = 이소카르바시클린의 전합성과 류코트리엔 중간체의 효과적인 합성link Lee, Yong-Sup; 이용섭; Park, Ho-Koon; Shin, Sang-Chul; et al, 한국과학기술원, 1992 |
| Formal Verification Method for Nuclear I&C Systems using ESDT and SMV in the Software Design Phase Song, Myung Jun; Koo, Seo Ryong; Seong, Poong-Hyun, NUTHOS-6, 2004-10 |
| Formal verification of a flash memory device driver - An experience report Kim, Moonzoo; Choi, Yunja; Kim, Yunho; Kim, Hotae, 15th International SPIN Workshop on Model Checking of Software, SPIN 2008, pp.144 - 159, SPIN, 2008-08-10 |
| Formal verification of consistency between feature model and software architecture in software product line Satyananda T.K.; Lee, Danhyung; Kang S., 2nd International Conference on Software Engineering Advances - ICSEA 2007, v.0, no.0, pp.0 - 0, IEEE, 2007-08-25 |
| Formal verification of consistency between feature model and software architecture in software product line Tonny, Kurniadi Satyananda; Lee, Danhyung; Kang, Sung-Won, International Conference on Software Engineering Advances(ICSEA 2007), IEEE, 2007-08-25 |
Discover
Type
Open Access
Date issued
- 30,917 2020 - 2024
- 100,009 2010 - 2019
- 75,681 2000 - 2009
- 44,727 1990 - 1999
- 14,360 1980 - 1989
- 62 1964 - 1969