nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A high-level language for design and modeling of hardware
|
Navabi, Zainalabedin |
|
1992 |
18 |
1 |
p. 5-18 14 p. |
artikel |
2 |
A PC knowledge-based environment for VLSI layout verification
|
Hashim, F. |
|
1992 |
18 |
1 |
p. 19-31 13 p. |
artikel |
3 |
Biographies
|
|
|
1992 |
18 |
1 |
p. 109- 1 p. |
artikel |
4 |
Calls for papers and announcements
|
|
|
1992 |
18 |
1 |
p. 1-2 2 p. |
artikel |
5 |
Controversy Corner
|
|
|
1992 |
18 |
1 |
p. 101- 1 p. |
artikel |
6 |
Editorial Board
|
|
|
1992 |
18 |
1 |
p. CO2- 1 p. |
artikel |
7 |
Editor's corner on becoming obsolete
|
Glass, Robert L. |
|
1992 |
18 |
1 |
p. 3-4 2 p. |
artikel |
8 |
Formal methods for the specification and design of real-time safety critical systems
|
Ostroff, Jonathan S. |
|
1992 |
18 |
1 |
p. 33-60 28 p. |
artikel |
9 |
Readers' corner
|
Gulezian, Ronald |
|
1992 |
18 |
1 |
p. 2- 1 p. |
artikel |
10 |
Real-time systems: Another perspective
|
Halang, Wolfgang A. |
|
1992 |
18 |
1 |
p. 101-108 8 p. |
artikel |
11 |
Real-time systems design methodologies: An introduction and a survey
|
Kavi, Krishna M. |
|
1992 |
18 |
1 |
p. 85-99 15 p. |
artikel |
12 |
The evolution and state-of-the-art of real-time languages
|
Stoyenko, Alexander D. |
|
1992 |
18 |
1 |
p. 61-83 23 p. |
artikel |