عنوان
پدید آورنده
موضوع
رده
QA76.9.S88 E358 2011
QA76
.
9
.
S88
E358
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1441954643
(Number (ISBN
9781441954640
NATIONAL BIBLIOGRAPHY NUMBER
Number
b539003
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Formal methods and models for system design :
General Material Designation
[Book]
Other Title Information
a system level perspective
First Statement of Responsibility
edited by Rajesh Gupta [and others].
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York ; London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 volume ; 24 cm
GENERAL NOTES
Text of Note
Originally published: Boston, Mass.; London: Kluwer Academic, 2004.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
System design.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
S88
Book number
E358
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
edited by Rajesh Gupta [and others].
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Rajesh Kumar Gupta
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
