|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | ASDeX: a formal specification for analog circuit enabling a full automated design validation |
Ma, Mingyu |
2012 |
18 | 1-2 |
p. 99-118 |
artikel |
|
| 2 | Dynamically reconfigurable hardware/software mobile agents |
Cemin, David |
2013 |
18 | 1-2 |
p. 39-60 |
artikel |
|
| 3 | Editorial introduction |
Radetzki, Martin |
2012 |
18 | 1-2 |
p. 61-62 |
artikel |
|
| 4 | Efficient schedulability tests for real-time embedded systems with urgent routines |
Santos, J. Augusto |
2013 |
18 | 1-2 |
p. 19-38 |
artikel |
|
| 5 | Representation of synchronous, asynchronous, and polychronous components by clocked guarded actions |
Brandt, Jens |
2012 |
18 | 1-2 |
p. 63-97 |
artikel |
|
| 6 | State-based scheduling analysis for distributed real-time systems |
Gezgin, Tayfun |
2013 |
18 | 1-2 |
p. 1-18 |
artikel |
6 gevonden resultaten