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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Contract-based Approach to Specifying and Verifying Safety Critical Systems Dong, Wei
 2007
 176 2 p. 89-103
15 p.
 artikel
2 DisCComp – A Formal Model for Distributed Concurrent Components Rausch, Andreas
 2007
 176 2 p. 5-23
19 p.
 artikel
3 Extending a Component Specification Language with Time Metzler, Björn
 2007
 176 2 p. 47-67
21 p.
 artikel
4 Local Module Checking for CTL Specifications Basu, Samik
 2007
 176 2 p. 125-141
17 p.
 artikel
5 Only the Best Can Make It: Optimal Component Selection Gesellensetter, Lars
 2007
 176 2 p. 105-124
20 p.
 artikel
6 Parametric Performance Contracts: Non-Markovian Loop Modelling and an Experimental Evaluation Koziolek, Heiko
 2007
 176 2 p. 69-87
19 p.
 artikel
7 Preface Bowles, Juliana K.F.
 2007
 176 2 p. 1-4
4 p.
 artikel
8 Specification and Generation of Environment for Model Checking of Software Components Parizek, Pavel
 2007
 176 2 p. 143-154
12 p.
 artikel
9 Towards Multiple Access in Generic Component Architectures Klein, M.
 2007
 176 2 p. 25-45
21 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland