|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
10 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Anomalies and adaptation in the analysis and development of prepaging policies |
Wilson, Paul R. |
1994 |
27 | 2 |
p. 147-153 7 p. |
artikel |
|
| 2 | Biographies |
1994 |
27 | 2 |
p. 155-156 2 p. |
artikel |
||
| 3 | Controversy revisited |
1994 |
27 | 2 |
p. 154- 1 p. |
artikel |
||
| 4 | Distributed real-time nested transactions |
Hague, Waqar |
1994 |
27 | 2 |
p. 85-95 11 p. |
artikel |
|
| 5 | Editor's corner My readers write: Some thoughts on formal methods |
Glass, Robert L. |
1994 |
27 | 2 |
p. 71-72 2 p. |
artikel |
|
| 6 | How to merge program texts |
Wuu, Yang |
1994 |
27 | 2 |
p. 129-135 7 p. |
artikel |
|
| 7 | New families of combinators for efficient list manipulation |
Sarwar, S.Mansoor |
1994 |
27 | 2 |
p. 137-146 10 p. |
artikel |
|
| 8 | On reusing ATNet modules in protocol specification |
Bettaz, Mohamed |
1994 |
27 | 2 |
p. 119-128 10 p. |
artikel |
|
| 9 | The development of imprecise real-time systems |
Portman, M. |
1994 |
27 | 2 |
p. 73-83 11 p. |
artikel |
|
| 10 | Validating timing requirements for time basic net specifications |
Ghezzi, Carlo |
1994 |
27 | 2 |
p. 97-117 21 p. |
artikel |
10 gevonden resultaten