Verifying Cyber-Physical Systems : (Record no. 27820)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 01307nam a22001697a 4500 |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9780262044806 |
| 082 00 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.0151135 |
| Author Mark | MIT-V |
| 100 1# - MAIN ENTRY--AUTHOR | |
| Author Name | Mitra, Sayan, |
| 245 10 - TITLE STATEMENT | |
| Title | Verifying Cyber-Physical Systems : |
| Sub-Title | A Path to Safe Autonomy |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of Publication | London |
| Name of publisher, distributor, etc. | MIT Press |
| Date of publication, distribution, etc. | 2021 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Pages | xvi; 296 p. |
| 490 0# - SERIES STATEMENT | |
| Series Statement | Cyber physical systems series |
| 500 ## - GENERAL NOTE | |
| General note | physical systems, with a strong focus on verification.<br/><br/>Verification aims to establish whether a system meets a set of requirements. For such cyber-physical systems as driverless cars, autonomous spacecraft, and air-traffic management systems, verification is key to building safe systems with high levels of assurance. This graduate-level textbook presents a unified mathematical framework for modeling and analyzing cyber-physical systems, with a strong focus on verification. It distills the ideas and algorithms that have emerged from more than three decades of research and have led to the creation of industrial-scale modeling and verification techniques for cyber-physical systems. |
| 504 ## - BIBLIOGRAPHY, ETC. NOTE | |
| Bibliography, etc. note | Includes bibliographical references (pages 271-289) and index. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Subject / Department | Cooperating objects (Computer systems); Artificial Intelligence & Semantics; Computer Neural Networks; Cyber Security; Machine Theory |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | Book |
| Withdrawn status | Lost status | Damaged status | Not for loan | Collection code | Permanent Location | Current Location | Shelving Location | Date acquired | Source of acquisition | Price | Inventory number | Total Checkouts | Full Call Number | Accession No./Barcode | Date last seen | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Cyber Security | Air University Central Library Islamabad | Air University Central Library Islamabad | Computer Science | 01/02/2023 | Multi-Line | 9058.00 | 03163 | 6 | 004.0151135 MIT-V | P13455 | 12/01/2025 | Book |