Real-time systems : specification, verification, and analysis / edited by Mathai Joseph.
Material type:
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
Malaviya National Institute of Technology General Stacks | 005.2 JOS (Browse shelf(Opens below)) | Available | 52961 |
Includes bibliographical references (p. 259-271) and index.
There are no comments on this title.