HOME > 상세정보

상세정보

Formal methods and models for system design : a system level perspective

Formal methods and models for system design : a system level perspective (4회 대출)

자료유형
단행본
개인저자
Gupta, Rajesh Kumar , 1961-
서명 / 저자사항
Formal methods and models for system design : a system level perspective / edited by Rajesh Gupta ... [et al.].
발행사항
Boston :   Kluwer Academic Publishers ,   c2004.  
형태사항
ix, 372 p. : ill. ; 25 cm.
ISBN
1402080514 (alk. paper) 9781402080517 (alk. paper)
서지주기
Includes bibliographical references.
일반주제명
System design. Mathematical models.
000 01016camuu22002894a 4500
001 000045402743
005 20071123143037
008 040519s2004 maua b 000 0 eng
010 ▼a 2004051553
020 ▼a 1402080514 (alk. paper)
020 ▼a 9781402080517 (alk. paper)
035 ▼a (KERIS)REF000010273561
040 ▼a DLC ▼c DLC ▼d OHX ▼d BAKER ▼d C#P ▼d IXA ▼d MUQ ▼d NLGGC ▼d BTCTA ▼d YDXCP ▼d DLC ▼d 211009
042 ▼a pcc
050 0 0 ▼a QA76.9.S88 ▼b F673 2004
072 7 ▼a QA ▼2 lcco
082 0 0 ▼a 004.2/1 ▼2 22
090 ▼a 004.21 ▼b F723
245 0 0 ▼a Formal methods and models for system design : ▼b a system level perspective / ▼c edited by Rajesh Gupta ... [et al.].
260 ▼a Boston : ▼b Kluwer Academic Publishers , ▼c c2004.
300 ▼a ix, 372 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliographical references.
650 0 ▼a System design.
650 0 ▼a Mathematical models.
700 1 ▼a Gupta, Rajesh Kumar , ▼d 1961-
945 ▼a KINS

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.21 F723 등록번호 121160475 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

Preface. I: Methods and Models for System Level Design. 1. Modular Hierarchies of Models for Embedded Systems; M. Broy. 2. Actor-oriented Models for Codesign; E.A. Lee, S. Neuendorffer. 3. Structural Component Composition for System-level Models; F. Doucet, et al. 4. Truly Heterogeneous Modeling with SystemC; H.D. Patel, S.K. Shukla. 5. MoDe: A Method for System-level Architecture Evaluation; J. Romberg, et al. II: Models and Methods for System Evaluation. 6. A Verification Methodology for Concurrent Software with Synchronous Communication; C. Sprenger, K. Worytkiewicz. 7. High-level Verification of Control Intensive Systems; E. Clarke, et al. 8. How to Compute the Refinement Relation for Parameterized Systems; F. Bellegarde, et al. III: Type Theoretic Models and Methods for System Design. 9. Algebraic Theory for Behavioral Type Inference; J.-P. Talpin, P. Le Guernic. 10. Behavioral Type Inference for Compositional System design; J.-P. Talpin, et al. IV: Optimizing System Models. 11. Optimizations for Faster Execution of Esterel Programs; D. Potop-Butucaru, R. de Simone. 12. Optimizing System Models for Simulation Efficiency; S.A. Sharad, S.K. Shukla. 13. Capturing Formal Specification into Abstract Models; D. Berner, et al. V: Post Production Formal Methods. 14. Engineering Changes in Field Modifiable Architectures; S. Komatsu, et al.


정보제공 : Aladin

관련분야 신착자료

김자미 (2021)