Browse by Title 

Showing results 243361 to 243380 of 275408

243361
시스템 오브 시스템즈 대상 행동-이익-비용 모델링 및 통계적 모델 체킹 기반 속성 검증 사례 연구

김준호; 신동환; 배두환, 2016년 한국컴퓨터종합학술대회 논문집, 한국정보과학회, 2016-06-30

243362
시스템 오브 시스템즈 모델링을 위한 다중 에이전트 시스템 메타 모델링 기법 분석

정유림; 백영민; 윤일철; 배두환, 한국정보과학회 2016년 동계학술대회 논문집, 한국정보과학회, 2016-12-22

243363
시스템 오브 시스템즈 수준의 목표 달성 검증 도구

진민규; 신동환; 김준호; 배두환, 2017 한국컴퓨터종합학술대회, 한국정보과학회, 2017-06-19

243364
시스템 오브 시스템즈 수준의 목표 달성 검증을 위한 행동-이익-비용 모델과 통계적 모델 체킹 적용 연구

김준호; 신동환; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.23, no.4, pp.256 - 261, 2017

243365
시스템 오브 시스템즈 시각적 모델링 시스템 오브 시스템즈 시각적 모델링 방법 및 장치

배두환; 백영민; 젤라름 빌레이; 신용준

243366
시스템 오브 시스템즈 온톨로지 구축을 위한 사례 분석 기반의 메타모델 개발

백영민; 박수민; 신용준; 배두환, 정보과학회논문지, v.45, no.10, pp.1056 - 1070, 2018-10

243367
시스템 오브 시스템즈 협업 정책 구성을 위한 상향식 기법 제안

Belay, Zelalem Mihret; 지은경; 백영민; 배두환, 제21회 한국 소프트웨어공학 학술대회, 한국정보과학회, 2019-01-30

243368
시스템 오브 시스템즈에서의 불확실성 요소 분석 군집운행: 시나리오에서의 사례 연구

신승철; 현상원; 송지영; 배두환, 2019 한국소프트웨어종합학술대회, 한국정보과학회, 2019-12-20

243369
시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석

현상원; 신용준; 배두환, KCC 2019 : 한국컴퓨터종합학술대회, 한국정보과학회, 2019-06

243370
시스템 오브 시스템즈의 오류 위치 추정을 위한 통계적 검증 결과 활용 기법 분석

현상원; 신용준; 배두환, 정보과학회논문지, v.47, no.4, pp.380 - 386, 2020-04

243371
시스템 오브 시스템즈의 특성을 고려한 발현 위치 기반 불확실성 요소 분류

신승철; 현상원; 신용준; 송지영; 배두환, 정보과학회 컴퓨팅의 실제 논문지, v.26, no.10, pp.451 - 457, 2020-10

243372
시스템 응답 함수 동시 획독을 통한 형광수명 측정의 정밀도 향상

남형수; 이민우; 김대식; 김준영; 강우재; 김진원; 오왕열; et al, 제51회 대한의용생체공학회 춘계학술대회, 대한의용생체공학회, 2016-05-13

243373
시스템 입출력 잡음 특성 분석을 통한 DEXA 영상의 잡음 모델링

노용만, 한국멀티미디어학회 춘계학술발표대회, 2009-05-22

243374
시스템 저항을 고려한 팬 성능 해석 기법 개발 = Development of fan performance analysis method considering system resistancelink

강상규; Kang, Sang-Kyu; et al, 한국과학기술원, 2004

243375
시스템 전환 실험의 장으로서 리빙랩: 사례분석과 시사점

성지은; 박인용, 기술혁신학회지, v.19, no.1, pp.1 - 28, 2016-03

243376
시스템 접근 방법을 통한 순환유동층 보일러의 성능해석 = Performance analysis of a circulating fluidized bed boiler by using system approachlink

김태현; Kim, Tae-Hyun; et al, 한국과학기술원, 2014

243377
시스템 추상화 수준에 따른 명세 개선 기법을 이용한 DEVS 시뮬레이터 개발 = Development of DEVS simulator using specification refinement at abstract levels of systemlink

홍수연; Hong, Su-Youn; et al, 한국과학기술원, 2004

243378
시스템 테스트 케이스를 이용한 C 프로그램의 동적 유닛 입력 값 자동 수집 및 재연 기술

임현수; 김문주; 김윤호, 2017 한국소프트웨어종합학술대회, 한국정보과학회, 2017-12-21

243379
시스템 파라미터가 불확실한 대규모 선형련 매시간 시스템의 비집중 안정화

류준; 변증남; 윤명중, 전자공학회지, v.22, no.3, pp.77 - 83, 1985-05

243380
시스템분석을 위한 Petri Nets의 축소방법

이광형; 오길록, 정보과학회논문지, v.13, no.1, pp.34 - 41, 1986-02

rss_1.0 rss_2.0 atom_1.0