저자의 연구 키워드

저자의 연구 키워드

#기하학적 추상 미술

#내장형 소프트웨어 검증

#뇌파

#동적 심볼릭 테스트

#로그 기반 Mock 자동생성

#멀티태스크 내장형 소프트웨어

#멀티태스크 프로그램 검증

#메탈 음악

#모델 검증법

#모델 기반 검증

#모델검증

#변화량 분석

#변화량 시각화

#상태 공간 순회

#상태폭발

#상향식 합성

#서정적 추상 미술

#스핀 모델 체커

#시각적 자극

#안전 요구사항

#안전성 검증

#애플리케이션 프로그래밍 인터페이스

#역공학

#예술 작품 감상

#오경보 식별

#온라인 게임 서버 검증

#음악 감상

#음악 학습

#음악적 기대

#일관성 검증

#자동차 검증

#자바

#정적분석

#정형 검증

#정형검증

#제약사항 패턴

#차량 전장용 운영체제

#차량전장소프트웨어

#추상 미술

#추상 컴포넌트

#추상화

#컴포넌트 모델

#코드 슬라이싱

#클래식 음악

#abstract art

#Abstract Component

#Abstraction

#API

#API 호출 제약사항 검증

#API-call constraint checking

#appreciation of art

#Automotive OS

#Automotive Software

#Automotive Verification

#Bottom-up Composition

#CBMC

#Change Quantification Analysis

#Change Visualization

#Classical music

#Component Model

#concolic testing

#Constraint Pattern

#EEG

#embedded software

#false-alarm detection

#Formal Verification

#geometric abstract art

#Interaction Consistency

#IoT system

#ISO 26262

#ISO26262

#Java

#KLEE

#log-based

#lyrical abstract art

#MARMOT Framework

#Metal music

#mock generation

#Model Checking

#model-based verification

#Modeling

#multitask embedded software

#multitask program verification

#Music learning

#Music Listening

#Musical expectation

#nesC

#OiL-CEGAR

#Online Game Server Verification

#on-the-fly

#OSEK/VDX

#OS-in-the-Loop

#PBE

#Program Slicing

#Reverse Engineering

#Safety Analysis

#Safety Checking

#Safety Requirement

#Software Development Management

#Software FMEA

#Software Reusability

#SPIN Model Checker

#State Explosion

#State Space Exploration

#Static Analysis

#unit test

#visual stimulus