Advancements in runtime enforcement frameworks : finite memory, compositional approaches and practical applications / by Saumya Shankar.
Material type: TextLanguage: English Publication details: Bhubaneswar : IIT Bhubaneswar, 2024.Description: xxii, 161 p. : ill. ; 28 cmSubject(s): DDC classification:- 004.2 SHA/A
Item type | Current library | Home library | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|
PhD Thesis | Central Library, IIT Bhubaneswar | Central Library, IIT Bhubaneswar | 004.2 SHA/A (Browse shelf(Opens below)) | Not for loan | PHD295 |
Total holds: 0
Browsing Central Library, IIT Bhubaneswar shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | |||||||
004.2 KOR/F Fault-tolerant systems / | 004.2 KOR/F Fault-tolerant systems / | 004.2 KOR/F Fault-tolerant systems / | 004.2 SHA/A Advancements in runtime enforcement frameworks : finite memory, compositional approaches and practical applications / | 004.2 WEN/H Heterogeneous system architecture : | 004.21 CLA/M Model Checking / | 004.21 DAS/E Embedded systems : |
There are no comments on this title.
Log in to your account to post a comment.