Stochastic Reachability Analysis of Hybrid Systems Luminita Manuela Bujorianu
Material type:
TextPublication details: New York Springer 2012Description: xvii, 244pISBN: 9781447127949Subject(s): Hybrid systemsDDC classification: 621.382 BUJ
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Computer Science & Engineering | REFERENCE SECTION | REF 621.382 BUJ (Browse shelf (Opens below)) | Copy 1 | Not for loan | 030918 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Computer Science & Engineering, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 621.3815 YU Transient and Permanent Error Control for Networks-on-Chip | REF 621.381548 KUN High-Level Verification: methods and tools for verification of system-level designs | REF 621.381548 PRA Practical Design Verification | REF 621.382 BUJ Stochastic Reachability Analysis of Hybrid Systems | REF 621.382 HOS Heterogeneous Wireless Access Networks | REF 621.3821 AGH Home Networking: first IFIP WG 6.2 home networking conference (IHN'2007), Paris, France, December 10-12, 2007 | REF 621.3821 FER Low-Power Smart Imagers for Vision-Enabled Sensor Networks |
There are no comments on this title.