Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     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 Fail-Awareness: An Approach to Construct Fail-Safe Systems Christof Fetzer
 2003
 24 2 p. 203-238
36 p.
 artikel
2 Fail-Awareness: An Approach to Construct Fail-Safe Systems Fetzer, Christof
 2003
 24 2 p. 203-238
 artikel
3 How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study A. Burns
 2003
 24 2 p. 135-151
17 p.
 artikel
4 How to Verify a Safe Real-Time System: The Application of Model Checking and Timed Automata to the Production Cell Case Study* Burns, A.
 2003
 24 2 p. 135-151
 artikel
5 On the Scheduling of Flexible and Reliable Real-Time Control Systems Ramesh Chandra
 2003
 24 2 p. 153-169
17 p.
 artikel
6 On the Scheduling of Flexible and Reliable Real-Time Control Systems Chandra, Ramesh
 2003
 24 2 p. 153-169
 artikel
7 Scheduling of Offset Free Systems Joël Goossens
 2003
 24 2 p. 239-258
20 p.
 artikel
8 Scheduling of Offset Free Systems Goossens, Joël
 2003
 24 2 p. 239-258
 artikel
9 Utilization-Based Admission Control for Scalable Real-Time Communication Byung-Kyu Choi
 2003
 24 2 p. 171-202
32 p.
 artikel
10 Utilization-Based Admission Control for Scalable Real-Time Communication Choi, Byung-Kyu
 2003
 24 2 p. 171-202
 artikel
                             10 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland