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
 
                             8 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Architectural considerations in the certification of modular systems Bate, Iain
 2003
 81 3 p. 303-324
22 p.
 artikel
2 Assertion checking environment (ACE) for formal verification of C programs Sharma, Babita
 2003
 81 3 p. 281-290
10 p.
 artikel
3 Fluid Petri Nets and hybrid model-checking: a comparative case study Gribaudo, M.
 2003
 81 3 p. 239-257
19 p.
 artikel
4 Model-based system monitoring and diagnosis of failures using statecharts and fault trees Papadopoulos, Yiannis
 2003
 81 3 p. 325-341
17 p.
 artikel
5 Safety analysis of the height control system for the Elbtunnel Ortmeier, Frank
 2003
 81 3 p. 259-268
10 p.
 artikel
6 Safety, reliability and security of industrial computer systems Anderson, Stuart
 2003
 81 3 p. 235-238
4 p.
 artikel
7 Sequential application of heterogeneous models for the safetyanalysis of a control system: a case study Bobbio, A.
 2003
 81 3 p. 269-280
12 p.
 artikel
8 Software criticality analysis of COTS/SOUP Bishop, Peter
 2003
 81 3 p. 291-301
11 p.
 artikel
                             8 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland