earticle

명세와 BCE(Boundary-Control-Entity) 패턴을 활용한 컨테이너 기반의 마이크로서비스 배포 기법

송규원, 정진호, 정수민, 박준석, 염근혁

한국차세대컴퓨팅학회 한국차세대컴퓨팅학회 학술대회 2022 한국차세대컴퓨팅학회 춘계학술대회 2022.05 pp.417-420

측정 시스템 분석 모형의 고찰 및 새로운 모형의 제안 KCI 등재

최성운

대한안전경영과학회 대한안전경영과학회지 제10권 제1호 2008.03 pp.191-195

Variation Stack-Up Analysis Using Monte Carlo Simulation for Manufacturing Process Control and Specification

Lee, Byoungki

[Kisti 연계] 한국품질경영학회 Journal of the Korean Society for Quality Management Vol.22 No.4 1994 pp.79-101

Analysis of the Formal Specification Application for Train Control Systems

Jo, Hyun-Jeong, Yoon, Yong-Ki, Hwang, Jong-Gyu

[Kisti 연계] 대한전기학회 Journal of electrical engineering & technology Vol.4 No.1 2009 pp.87-92

The design of a 32-bit Microprocessor for a Sequence Control using an Application Specification Integrated Circuit(ASIC) (ICEIC'04)

Oh, Yang

[Kisti 연계] 대한전자공학회 대한전자공학회 학술대회논문집 2004 pp.486-490

Design and Specification of a Low-Level Control Software for an FMC Using Supervisory Control Theory

Kim, Sang-Kyun, Park, Jong-Hun, Park, Namkyu, Park, Jin-Woo

[Kisti 연계] 한국경영과학회 한국경영과학회지 Vol.20 No.2 1995 pp.159-178

SPECIFICATION AND CONTROLLER SYNTHESIS FOR THE HIERARCHICAL CONTROL OF FMS

Chang, Jin-Tae, Kim, Hun-Tai, Kang, Suk-Ho

[Kisti 연계] 한국경영과학회 International journal of management science Vol.3 No.2 1997 pp.71-92

A Specification Method for Desirable Controlled Behavior for Supervisory Control Logic Synthesis of a Multi-Robot Assembly Cell

Lee, Jin-Kyu, Lee, Tae-Eog

[Kisti 연계] 한국경영과학회 한국경영과학회 학술대회논문집 1999 p.295

Generation of Control Signals in High-Level Synthesis from SDL Specification

Kwak, Sang-Hoon, Kim, Eui-Seok, Lee, Dong-IK, Baek, Young-Seok, Park, In-Hak

[Kisti 연계] 대한전자공학회 대한전자공학회 학술대회논문집 2000 pp.410-413

A systematic mRNA control mechanism for germline stem cell homeostasis and cell fate specification

Lee, Myon-Hee, Mamillapalli, Srivalli Swathi, Keiper, Brett D., Cha, Dong Seok

[Kisti 연계] 생화학분자생물학회 BMB reports Vol.49 No.2 2016 pp.93-98

백플레인에 기반한 제어 부분과 데이터 처리 부분의 통합적 명세

김도형, 하순회

[Kisti 연계] 대한전자공학회 電子工學會論文誌. Journal of the Korean Institute of Telematics and Electronics. C Vol.c36 No.12 1999 pp.36-46

유도전동기의 속도 제어를 위한 설계사양에 부합되는 제어기 설계

이충우, 서병설

[Kisti 연계] 대한전자공학회 대한전자공학회 학술대회논문집 2003 pp.2501-2504

멀티미디어 응용의 명세, 분석 및 재생제어를 위한 베타분포형 시간 패트리넷 모형

이진석, 이강수

[Kisti 연계] 한국멀티미디어학회 멀티미디어학회논문지 Vol.2 No.2 1999 pp.200-216

XML 문서를 위한 인덱스 기반의 명세/속성 기반 접근 제어

최남규, 차효성, 구미숙, 황정희, 류근호

[Kisti 연계] 한국정보과학회 한국정보과학회 학술대회논문집 2003 pp.220-222

나로호의 EMC 통제를 위한 규격설정 및 검증

지기만

[Kisti 연계] 한국전자파학회 The journal of Korea Electromagnetic Engineering Society Vol.25 No.3 2014 pp.311-318

원자력 발전소 제어시스템의 정형 명세와 검증

김일곤, 김진현, 남원홍, 최진영

[Kisti 연계] 한국정보처리학회 한국정보처리학회 학술대회논문집 2000 pp.595-598

일반·고속철도용 무선기반 열차제어시스템(KRTCS-2) 표준사양 개발

김찬호, 박종원, 이강규, 성동일, 윤학선

[Kisti 연계] 한국철도학회 한국철도학회논문집 Vol.19 No.6 2016 pp.736-743

증기터빈 디지털 제어 시스템 통신 사양 고찰

서중석, 육심균, 조창호, 정창기

[Kisti 연계] 대한전기학회 대한전기학회 학술대회논문집 1999 pp.752-754

SPC에서 손실함수를 이용한 제품규격수준향상에 관한 연구

서경범

[Kisti 연계] 한국산업경영시스템학회 Journal of the Society of Korea Industrial and Systems Engineering Vol.16 No.28 1993 pp.173-180

전동식 조향 장치용 ECU 의 환경 내구 시험 시간 단축을 위한 설계 검증 시험 사양 변경 사례

김태훈, 강동영, 정인승

[Kisti 연계] 대한기계학회 대한기계학회 학술대회논문집 2008 pp.1309-1313