"Model checking"의 검색결과 입니다.

기간
- 전체
- 3개월
- 6개월
- 1년
- 2년
- 3년
- 5년
직접입력

적용
연관순
- 연관순
- 최신순
영역
- 전체
- 제목
- 본문
- 태그
페이지 수
- 전체페이지
- 1 페이지 ~ 5 페이지
- 6 페이지 ~ 10 페이지
- 직접입력 페이지 ~ 페이지 적용
확장자
- 전체
- 한글
- PDF
- MS워드
- MS엑셀
- MS파워포인트
- 압축파일
- 기타
할인자료 보기

연관검색어

reading lesson plan pelt 영어 lesson plan 초등 영어 지도안 ChatGPT 테솔대학원 HPLC 분석원리 애플 혁신

EasyAI “Model checking” 관련 자료

+2023년 1학기 방송통신대 유비쿼터..등록일 2023.02.27 | 총 8,736자 | 13페이지 | 3,000원
+vsim_Sherman Red Yod..등록일 2023.03.04 | 총 11,103자 | 31페이지 | 7,500원

외 199건 중 선별하여 새로운 문서 초안을 작성해 드립니다

생성하기

판매자 표지는 다운로드시 포함되지 않습니다.

"Model checking" 검색결과 1-20 / 1,355건

딥러닝 기반 BIM(Building Information Modeling) 벽체 하위 유형 자동 분류 통한 정합성 검증에 관한 연구 (Using Deep Learning for automated classification of wall subtypes for semantic integrity checking of Building Information Models)

한국BIM학회 정래규, 구본상, 유영수

논문 | 10페이지 | 무료 | 등록일 2025.04.17 | 수정일 2025.05.10

다운로드
휘처 모델의 Z 정형 명세와 검사 기법 (A Formal Specification and Checking Technique of Feature model using Z language)

, 휘처모델이가진구조물의 구문적 명확성을입증하기위한 정형적 명세와 모델 검사(model checking)가 필요하다. 본 논문은 Z 언어를 이용한 휘처 모델의 정형적 명세와 모델검사 ... . Therefore, there is a need to formalize and check for the feature model, to precisely define syntax ... for construct of the model. This paper presents a Z formal specification and a model checking

논문 | 14페이지 | 무료 | 등록일 2025.07.07 | 수정일 2025.07.10

다운로드
모델 체킹에서 안전성 위반에 대한 효율적인 반례 생성 (Efficient Counterexample Generation for Safety Violation in Model Checking)

a property, model checking determines whether the model satisfies the property. In case the model ... does not satisfy the property, model checking gives a counterexample which explains where the ... ounterexample generation is one of the indispensable components in the model checking tool. This paper

논문 | 10페이지 | 무료 | 등록일 2025.07.08 | 수정일 2025.07.11

다운로드
SMV를 이용한 RACE 프로토콜의 정형 검증 및 테스팅 (Formal Verification and Testing of RACE Protocol Using SMV)

not expect before. By this verification experience, we show advantages of model checking method. And ... present our experiences in using symbolic model checker(SMV) to analyze a number of properties of RACE ... temporal logic CTL. We successfully used the symbolic model checker to analyze a number of properties of

논문 | 17페이지 | 무료 | 등록일 2025.07.12 | 수정일 2025.07.19

다운로드
추상 도달가능성 그래프 기반 소프트웨어 모델체킹에서의 탐색전략 고려방법 (Controlling a Traversal Strategy of Abstract Reachability Graph-based Software Model Checking)

하였다. Although traversal strategies are important for the performance of model checking, many studies have ... ignored the impact of traversal strategies in model checking with a block-encoded abstract ... without block-encoding. Block encoding plays a crucial role in the model checking performance. This paper

논문 | 11페이지 | 무료 | 등록일 2025.07.08 | 수정일 2025.07.11

다운로드
사상체질판별에 사용되는 문진표의 범주별 오류율 비교연구 (Comparative Study on Categorical Error Rate of Check List used in Sasang Constitution Discrimination)

discriminant analysis model repeatedly to compare the categorical error rate of check list. 한국자료분석학회 ... onstitution of patients, check list are applied to seek the classification function into Sasang c ... onstitution. Data used in the analysis are the checking data of 550 patients who had been treated in nine

논문 | 11페이지 | 무료 | 등록일 2025.06.19 | 수정일 2025.06.27

다운로드
LD 프로그램의 모델 체킹을 위한 자동변환 (Automatic Translations for Model Checking of LD Programs)

checker so that LD program is verified by model checking. We define formal semantics of LD programs ... lot of limitation. This paper describes how to translate a given LD program into an input of a model ... and SMV models and specify a formal definition of the translation function which preserves s

논문 | 6페이지 | 무료 | 등록일 2025.07.08 | 수정일 2025.07.11

다운로드
스마트워크 기반의 정보보호 감리 모형 (An Audit Model for Information Protection in Smartwork)

model at the practical and technical level for building a smartwork environment. We were classified ... information protection check items. Further, by establishing a smartwork information protection audit time ... urvey if deduced audit domain and check items correspond with the purpose of the smartwork information

논문 | 11페이지 | 무료 | 등록일 2025.06.27 | 수정일 2025.07.04

다운로드
웹 페이지 수행기능분석과 점검 우선순위를 활용한 모델기반 웹 취약점 점검 (Model-based Web Vulnerability Inspection Using Web Page's Function Analysis and Inspection Priority)

performance function. Through the created inspection model, a check case can be created so that it can ... vulnerability checking is preferred manual method to automatic method because of its accuracy. However, due ... be checked when checking the web vulnerability by sampling. Therefore, the selection of the target s

논문 | 10페이지 | 무료 | 등록일 2025.06.17 | 수정일 2025.06.26

다운로드
ROS 기반 경로계획 시스템의 실시간 요구 사항 분석 (Real-time Requirements Analysis of ROS-based Path Planning Systems)

hecking. The path calculation process is influenced by the publish-and-subscribe model provided by the ROS ... the operating environment. Furthermore, this paper discusses how to specify and model-check real-time ... Timed Automata. It also aims to formally verify the safety of the calculated paths through model c

논문 | 6페이지 | 무료 | 등록일 2025.06.01 | 수정일 2025.06.05

다운로드
판매자 표지

[2025학년도 버전 업데이트] 카이스트 대학원 전산학부 석사 전공 면접 합격생 대비 자료

AnalysisAST(Abstract Syntax Tree)를 생성하여 프로그램의 구조를 분석Type checking 등 초기 에러 검출Middle End ... 소프트웨어 공학Software Development Life Cycle and Process Model Software Modeling Software Engineering ... Cryptosystem Trust Model Web SecuritySoftware Error & Vulnerabilities Program Analysis 기타Interview 1GP는 데이터

자기소개서 | 30페이지 | 20,000원 | 등록일 2025.03.19

다운로드 장바구니
병원정보시스템에서의 정보보호를 위한 감리모형 (An Audit Model for Information Security of Hospital Information System)

hospital information security requirements and threats. We derived the check items compared with ISO ... , technical, administrative domain, and derived the check items for information security. We also ... designed the check lists by mapping the ISO27799 risk management process to improve the security and

논문 | 13페이지 | 무료 | 등록일 2025.06.27 | 수정일 2025.07.04

다운로드
은행 텔러(Bank Teller) 인턴 및 신입 합격을 부르는 영문 이력서 및 자소서 필수 핵심 문장(한국어 포함)

였습니다.Logged cashier's checks and other transactions to maintain accuracy of account records.계정 기록의 정확성을 유지하기 ... including checking, savings, loans and lines of credit.수표, 저축, 대출, 신용장 등 은행 상품에 대한 전화 문의에 응답하였습니다Provided c ... ustomer records on demand, including account statements and copies of checks.계정 명세서 및 수표 사본을 포함하여 고객

자기소개서 | 7페이지 | 3,000원 | 등록일 2021.10.27 | 수정일 2021.12.14

다운로드 장바구니
영문 자기소개서

for collection. Sales Promote products. : After checking customer’s requirements, we suggest products ... billing amount everyday . - If changes occurs, check with the customer. Deal with Claims with QA ... SELF-INTRODUCTION Mar 6 th , 2019 Hong Gil DongCareer Path 2019 2013 C-company( 지원하는 회사 ) Apr, 2019

자기소개서 | 5페이지 | 3,000원 | 등록일 2020.12.19 | 수정일 2020.12.26

다운로드 장바구니
마코프 모델을 이용한 채팅 구성원 간의 관계 분석 (Relationship Analysis of Chat Members with Markov Model)

한국정보기술학회 김소연, Nogc Tung La, 권기현

논문 | 9페이지 | 무료 | 등록일 2025.03.11 | 수정일 2025.03.28

다운로드
근접수치사진측량을 위한 스마트폰 카메라 검보정 (Application of Smartphone Camera Calibration for Close-Range Digital Photogrammetry)

대한원격탐사학회 윤명현, 유연, 최철웅, 박진우

논문 | 12페이지 | 무료 | 등록일 2025.03.16 | 수정일 2025.03.28

다운로드
판매자 표지

회귀모형의 진단과 수정

Introduction• 회귀진단(regression diagnostics) 또는 모형검토(model checking)- 현재 설정된 회귀모형이 타당한 것인가를 검토.현재모형

리포트 | 29페이지 | 1,000원 | 등록일 2023.12.16

다운로드 장바구니
ASML CSE 합격 자소서

day to check the results after turning the simulation before bed. Finally, we designed an antenna ... process of code writing, I applied this model because the MAE value was good, but I didn't know why it was ... good. Even in the case of PPT writing, the model I learned in my major class was not detailed compare.

자기소개서 | 8페이지 | 4,000원 | 등록일 2023.05.25 | 수정일 2023.05.28

다운로드 장바구니
모바일 웹 UI/UX의 사용성 향상을 위한 감리 모형 (An Audit Model for Usability of the Mobile Web UI/UX)

한국지식정보기술학회 최지혜, 김동수, 김희완

논문 | 13페이지 | 무료 | 등록일 2025.05.01 | 수정일 2025.05.15

다운로드
KDI School 합격 자기소개서

):Country of Citizenship: Republic of KoreaE-mail:Applying Program (Please check one below):□MPP □MDP □MPM ... result, I became convinced that cooperative model is as an important instrument to promote s ... ustainability. The Evergreen cooperatives in Cleveland, well known as Cleveland Model, were building c

자기소개서 | 3페이지 | 4,800원 | 등록일 2021.08.28

다운로드 장바구니

이전10개12 3 4 5 6 7 8 9 10 다음10개

파워링크

신청하기