자료유형 | E-Book |
---|---|
개인저자 | Ren, Hao. |
단체저자명 | Iowa State University. Electrical and Computer Engineering. |
서명/저자사항 | Model-based Compositional Verification Approaches and Tools Development for Cyber-physical Systems. |
발행사항 | [S.l.] : Iowa State University., 2018 |
발행사항 | Ann Arbor : ProQuest Dissertations & Theses, 2018 |
형태사항 | 105 p. |
소장본 주기 | School code: 0097. |
ISBN | 9780438077003 |
일반주기 |
Source: Dissertation Abstracts International, Volume: 79-11(E), Section: B.
Adviser: Ratnesh Kumar. |
요약 | The model-based design for embedded real-time systems utilizes the veriable reusable components and proper architectures, to deal with the verification scalability problem caused by state-explosion. In this thesis, we address verification approa |
요약 | For the component-level design-time verification, we developed a symbolic verifier, LhaVrf, for the reachability verification of concurrent linear hybrid systems (LHA). It is unique in translating a hybrid automaton into a transition system that |
일반주제명 | Electrical engineering. |
언어 | 영어 |
기본자료 저록 | Dissertation Abstracts International79-11B(E). Dissertation Abstract International |
대출바로가기 | http://www.riss.kr/pdu/ddodLink.do?id=T14997483 |
인쇄
No. | 등록번호 | 청구기호 | 소장처 | 도서상태 | 반납예정일 | 예약 | 서비스 | 매체정보 |
---|---|---|---|---|---|---|---|---|
1 | WE00026902 | DP 621.3 | 가야대학교/전자책서버(컴퓨터서버)/ | 대출불가(별치) |