Funktionale Verifikation von Systemen (Kurztitel FEST), A2.6 Black-Box-Techniken bei der Eigenschaftsprüfung Schlussbericht ; Laufzeit des Vorhabens: 1.7.2004 - 30.6.2007
Gespeichert in:
| Veröffentlicht in: | Schöber, Volker Funktionale Verifikation von Systemen |
|---|---|
| 1. Verfasser: | |
| Format: | UnknownFormat |
| Veröffentlicht: |
Freiburg i. Br.
Univ.
2008
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen | Beschreibung: | Förderkennzeichen BMBF 01M3072D Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden Auch als elektronische Ressource vorh |
|---|