Real-Time Systems : Scheduling, Analysis and Verification (Record no. 338)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01879nam a2200229Ia 4500 |
| 001 - CONTROL NUMBER | |
| control field | 0001003 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | OSt |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20190111111127.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 170602s9999 xx 000 0 und d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9788126527854 |
| 028 ## - PUBLISHER NUMBER | |
| Qualifying information | 2016 |
| Source | Allied Informatics, Jaipur |
| 040 ## - CATALOGING SOURCE | |
| Language of cataloging | English |
| Original cataloging agency | BSDU |
| Transcribing agency | BSDU |
| 082 ## - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.33 |
| Item number | CHE |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Cheng, Albert M K |
| 245 #0 - TITLE STATEMENT | |
| Title | Real-Time Systems : Scheduling, Analysis and Verification |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Name of publisher, distributor, etc. | Wiley India Pvt. Ltd. India |
| Place of publication, distribution, etc. | New Delhi |
| Date of publication, distribution, etc. | 2016,c2002 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 524 |
| 500 ## - GENERAL NOTE | |
| General note | This book provides the most detailed coverage available of a key aspect of real-time systems, namely the verification and validation process. Performance validation results in specifications which a commercial manufacturer can guarantee to a user, and in the case of real time systems, this information is crucial. The book is intended for professionals and students in the subject, and will take an overview of several approaches to the problem, then describe in detail the advantages and disadvantages to each approach. This book should be a handy reference for practitioners in the field also, as this type of discussion exists nowhere else in the current literature. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Contents:<br/>Preface.<br/><br/>List of Figures<br/><br/>· Introduction.<br/><br/>· Analysis and Verification of Non-Real-Time Systems.<br/><br/>· Real-Time Scheduling and Schedulability Analysis.<br/><br/>· Model Checking of Finite-State Systems.<br/><br/>· Visual Formalism, Statecharts, and Statemate.<br/><br/>· Real-Time Logic, Graph-Theoretic Analysis, and Modechart.<br/><br/>· Verification Using Timed Automata.<br/><br/>· Timed Petri Nets.<br/><br/>· Process Algebra.<br/><br/>· Design and Analysis of Propositional-Logic Rule-Based Systems.<br/><br/>· Timing Analysis of Predicate-Logic Rule-Based Systems.<br/><br/>· Optimization of Rule-Based Systems.<br/><br/>Bibliography.<br/><br/>Index. |
| 650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name entry element | CSE |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Books |
| Withdrawn status | Lost status | Source of classification or shelving scheme | Damaged status | Not for loan | Home library | Current library | Date acquired | Cost, normal purchase price | Total Checkouts | Full call number | Barcode | Date last seen | Cost, replacement price | Price effective from | Koha item type | Collection code |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | BSDU Knowledge Resource Center, Jaipur | BSDU Knowledge Resource Center, Jaipur | 11/30/2016 | 679.00 | 004.33 CHE | 001003 | 02/12/2020 | 679.00 | 06/02/2017 | Books | ||||||
| Dewey Decimal Classification | BSDU Knowledge Resource Center, Jaipur | BSDU Knowledge Resource Center, Jaipur | 11/30/2016 | 679.00 | 004.33 CHE | 001004 | 02/12/2020 | 679.00 | 06/02/2017 | Books | ||||||
| Dewey Decimal Classification | Not For Loan | BSDU Knowledge Resource Center, Jaipur | BSDU Knowledge Resource Center, Jaipur | 11/30/2016 | 679.00 | 004.33 CHE | 001005 | 02/12/2020 | 679.00 | 06/02/2017 | Books | Not for Loan | ||||
| Dewey Decimal Classification | BSDU Knowledge Resource Center, Jaipur | BSDU Knowledge Resource Center, Jaipur | 11/30/2016 | 679.00 | 004.33 CHE | 001006 | 02/12/2020 | 679.00 | 06/02/2017 | Books | ||||||
| Dewey Decimal Classification | BSDU Knowledge Resource Center, Jaipur | BSDU Knowledge Resource Center, Jaipur | 11/30/2016 | 679.00 | 004.33 CHE | 001007 | 02/12/2020 | 679.00 | 06/02/2017 | Books |