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 Abstraction and composition: a verification method for co-operating systems OchsenschlAger, Peter
 2000
 12 4 p. 447-459
 artikel
2 A case study in the mechanical verification of fault tolerance Mantel, Heiko
 2000
 12 4 p. 473-487
 artikel
3 A counter-example to all future dynamic systems theories of cognition Dietrich, Eric
 2000
 12 4 p. 377-382
 artikel
4 Applying formal concepts to learning systems validation Dotsch, Volker
 2000
 12 4 p. 433-445
 artikel
5 Formal software development in the Verification Support Environment (VSE) Hutter, Dieter
 2000
 12 4 p. 383-406
 artikel
6 Towards dependable development tools for embedded systems: a case study in software verification Petermann, Uwe
 2000
 12 4 p. 489-498
 artikel
7 Towards validation and refinement of rule-based systems Knauf, Rainer
 2000
 12 4 p. 421-431
 artikel
8 Validation and verification of intelligent systems - what are they and how are they different? Gonzalez, Avelino J.
 2000
 12 4 p. 407-420
 artikel
9 Validation method for intelligent systems Onoyama, Takashi
 2000
 12 4 p. 461-472
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland