국방대학교 도서관검색
- Home
- 기능목록
- 검색
-
Marc 보기
MARC 닫기
-
LDR
00636nam ac200205 k 4500
-
001
000003867823
-
005
20220101120000
-
007
ta
-
008
051014s2004 us 000 eng
-
020
▼a 1402028660
-
040
▼a 123456
▼c 123456
▼d 211070 -
049
▼l WM7214
-
050
▼a QA76.6
-
090
▼a QA76.6
▼b M566 -
100
▼a Mermet,Jean P
-
245
▼a UML-B Specification for Proven Embedded Systems Design/
▼d Mermet,Jean P. -
260
▼a Boston:
▼b Kluwer Academic Pub.,
▼c 2004. -
300
▼a 300p.;
▼c 25cm. -
653
▼a Embedded computer systems
▼a Programming
▼a Real-time data processing
▼a Object-oriented methods (Computer science) -
950
▼b US$129
-
991
▼a 단행본
-
LDR
- 바구니담기
- 내서재 담기
- 내보내기
상세정보
UML-B Specification for Proven Embedded Systems Design
QR코드| 자료유형 : | 단행본 |
|---|---|
| ISBN : | 1402028660 |
| 분류기호 : | QA76.6 |
| 개인저자 : | Mermet,Jean P |
| 서명/저자사항 : | UML-B Specification for Proven Embedded Systems Design/ Mermet,Jean P. |
| 발행사항 : | Boston: Kluwer Academic Pub., 2004. |
| 형태사항 : | 300p.; 25cm. |
| 언어 | 영어 |
예약
- 1. 예약현황은 홈페이지 로그인 후 예약 페이지에 확인 가능합니다.
- 2. 도착 통보된 예약자료 대출을 원하지 않는 경우에는 예약 현황에서 취소할 수 있습니다.
- 3. 기타 문의사항은 도서관에 문의 바랍니다.
무인예약대출
- 1. 무인예약대출 현황은 홈페이지 로그인 후 무인예약대출 페이지에 확인 가능합니다.
- 2. 무인예약대출자료 대출을 원하지 않는 경우에는 무인예약대출 페이지에서 신청 또는 접수상태인 경우만 취소할 수 있습니다.
- 3. 희망대출일은 신청일로부터 최대 1주일 까지 가능합니다.
- 4. 희망대출일을 선택하지 않은 경우 대출대기 통보 후 1주일까지 기기에서 대출가능합니다.
- 5. 기타 문의사항은 도서관에 문의 바랍니다.
1. An Introduction to Formal Methods
2. Formally Unified System Specification Environment with UML, B and System C
3. Embedded System Design Using the PUSSEE Method
4. System Level Modelling and Refinement with EventB
5. The UML-B Profile for Formal Systems Modelling in UML
6. U2B
7. BHDL
8. Towards a Conceptual Framework for UML to Hardware Description Language Mappings
9. Interface-Based Synthesis Refinement in B
10. Refinement of Finite State Machines with Complementary Model Checking
11. Adaptive Cruise Control Case Study Design Experiment
12. Adaptive Cruise Controller Case Study
13. Formal Modelling of Electronic Circuits
14. The Echo Cancellation Unit Case Study
15. Results of the Mobile Design System Experiment
16. UML-B Specification and Hardware Implementation of a Hamming
17. The PUSSEE Method in Practice
서평쓰기