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
 
                             13 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 An empirical evaluation of deadlock detection in software architecture specifications Jeffrey J.P. Tsai
 1999
 7 1 p. 95-126
32 p.
 artikel
2 A practical approach to implementing realtime semantics Girish Bhat
 1999
 7 1 p. 127-155
29 p.
 artikel
3 A realtime version of SequenceL Daniel E. Cooke
 1999
 7 1 p. 157-176
20 p.
 artikel
4 ATOM An objectbased formal method for realtime systems Hussein Zedan
 1999
 7 1 p. 235-256
22 p.
 artikel
5 Evaluating software architectures for realtime systems Rick Kazman
 1999
 7 1 p. 71-93
23 p.
 artikel
6 Integrated architectural modeling and analysis for highassurance command and control system design Yi Deng
 1999
 7 1 p. 47-70
24 p.
 artikel
7 Modeling concurrent realtime processes using discrete events Edward A. Lee
 1999
 7 1 p. 25-45
21 p.
 artikel
8 On coping with realtime software dynamic inconsistency by builtin tests Yingxu Wang
 1999
 7 1 p. 283-296
14 p.
 artikel
9 Preface 1999
 7 1 p. 1-3
3 p.
 artikel
10 Relational programs An architecture for robust realtime safetycritical processcontrol systems Farokh B. Bastani
 1999
 7 1 p. 5-24
20 p.
 artikel
11 Specification and analysis of realtime systems with PARAGON Oleg Sokolsky
 1999
 7 1 p. 211-234
24 p.
 artikel
12 The design and analysis of realtime systems using the ASTRAL software development environment Paul Z. Kolano
 1999
 7 1 p. 177-210
34 p.
 artikel
13 Towards reusable realtime objects Brian Nielsen
 1999
 7 1 p. 257-282
26 p.
 artikel
                             13 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland