| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Component-based system design: analytic real-time interfaces for state-based component implementations
|
Lampka, Kai
|
|
2012
|
15 |
3 |
p. 155-170
|
artikel
|
| 2 |
Compositional performance analysis with improved analysis techniques for obtaining viable end-to-end latencies in distributed embedded systems
|
Rox, Jonas
|
|
2012
|
15 |
3 |
p. 171-187
|
artikel
|
| 3 |
Modeling task systems using parameterized partial orders
|
Houben, Fred
|
|
2012
|
15 |
3 |
p. 269-286
|
artikel
|
| 4 |
Monitoring properties of analog and mixed-signal circuits
|
Maler, Oded
|
|
2012
|
15 |
3 |
p. 247-268
|
artikel
|
| 5 |
Rigorous embedded design: challenges and perspectives
|
Bensalem, Saddek
|
|
2013
|
15 |
3 |
p. 149-154
|
artikel
|
| 6 |
Temporal isolation in real-time systems: the VBS approach
|
Craciunas, Silviu S.
|
|
2012
|
15 |
3 |
p. 189-209
|
artikel
|
| 7 |
Timed-automata based schedulability analysis for distributed firm real-time systems: a case study
|
Le, Thi Thieu Hoa
|
|
2012
|
15 |
3 |
p. 211-228
|
artikel
|
| 8 |
Tradeoff exploration between reliability, power consumption, and execution time for embedded systems
|
Assayad, Ismail
|
|
2012
|
15 |
3 |
p. 229-245
|
artikel
|
Tijdschrift beschrijving