|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
3 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Formal verification of real-time systems with preemptive scheduling |
Lime, Didier |
2008 |
41 | 2 |
p. 118-151 |
article |
|
| 2 | Resource holding times: computation and optimization |
Bertogna, Marko |
2008 |
41 | 2 |
p. 87-117 |
article |
|
| 3 | Robust priority assignment for messages on Controller Area Network (CAN) |
Davis, Robert I. |
2008 |
41 | 2 |
p. 152-180 |
article |
3 results found