Theory of timed I/O automata
By: Kaynar, Dilsun K.
Contributor(s): Lynch, Nancy | Segala, Roberto | Vaandrager, Frits.
Material type:
BookSeries: Synthesis lectures on computer science.Publisher: San Rafael: Morgan & Claypool Publishers, 2006Description: xi, 101 p.; ill.: 24 cm.ISBN: 9781598293579 .Subject(s): Computer simulation | Formal modeling | Real-time control | Real-time data processing | Timed systemsDDC classification: 004.33
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004.33 KAY (Browse shelf) | Available | 020891 |
Browsing DAIICT Shelves Close shelf browser
| 004.33 EDW Languages for Digital Embedded Systems | 004.33 FOW What every engineer should know about real-time embedded products | 004.33 ION Real-time systems : modeling, design, and applications | 004.33 KAY Theory of timed I/O automata | 004.33 KRI Real-time systems | 004.33 LAP Real-time systems design and analysis | 004.33 LIQ Real-time concepts for embedded systems |
There are no comments for this item.