Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     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 A Highly Dependable Computing Architecture for Safety-CriticalControl Applications Bernd J. Krämer
1997
13 3 p. 237-251
15 p.
artikel
2 A Highly Dependable Computing Architecture for Safety-Critical Control Applications Krämer, Bernd J.
1997
13 3 p. 237-251
artikel
3 A Systematic Approach to the Petri Net Based Specificationof Concurrent Systems Antonino Mazzeo
1997
13 3 p. 219-236
18 p.
artikel
4 A Systematic Approach to the Petri Net Based Specification of Concurrent Systems Mazzeo, Antonino
1997
13 3 p. 219-236
artikel
5 Building Large, Complex, Distributed Safety-Critical OperatingSystems Horst F. Wedde
1997
13 3 p. 277-302
26 p.
artikel
6 Building Large, Complex, Distributed Safety-Critical Operating Systems Wedde, Horst F.
1997
13 3 p. 277-302
artikel
7 Editorial Bernd J. Krämer
1997
13 3 p. 217-218
2 p.
artikel
8 Editorial Krämer, Bernd J.
1997
13 3 p. 217-218
artikel
9 The ProCoS Approach to Correct Systems Hans Langmaack
1997
13 3 p. 253-275
23 p.
artikel
10 The ProCoS Approach to Correct Systems Langmaack, Hans
1997
13 3 p. 253-275
artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland