Konferenzschrift
Software validation : inspection, testing, verification, alternatives ; proceedings of the Symposium on Software Validation held in Darmstadt, FRG, September 25 - 30, 1983
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
044487593X
- Dimensions
-
23 cm
- Extent
-
XII, 375 S.
- Language
-
Englisch
- Notes
-
graph. Darst.
Literaturangaben
- Event
-
Veröffentlichung
- (where)
-
Amsterdam, New York, NY, Oxford
- (who)
-
North-Holland
- (when)
-
1984
- Contributor
-
Hausen, Hans-Ludwig
Gesellschaft für Mathematik und Datenverarbeitung
Symposium on Software Validation (1983 : Darmstadt)
- Table of contents
- Rights
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Last update
-
11.06.2025, 1:40 PM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Object type
- Konferenzschrift
Associated
- Hausen, Hans-Ludwig
- Gesellschaft für Mathematik und Datenverarbeitung
- Symposium on Software Validation (1983 : Darmstadt)
- North-Holland
Time of origin
- 1984
Other Objects (12)
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
The GRASPIN approach to software validation and verification
Software best practice, 1.. Software quality approaches : testing, verification, and validation ; with 30 tables
Wissensbasierte Software-Validation unter Unix
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Witness-based validation of verification results with applications to software-model checking
Model transformation for validation of software design
Towards Virtual Validation of ECU Software using FMI
Verification and validation of sensor networks
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
The GRASPIN approach to software validation and verification
Software best practice, 1.. Software quality approaches : testing, verification, and validation ; with 30 tables
Wissensbasierte Software-Validation unter Unix
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Witness-based validation of verification results with applications to software-model checking
Model transformation for validation of software design
Towards Virtual Validation of ECU Software using FMI
Verification and validation of sensor networks
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
The GRASPIN approach to software validation and verification
Software best practice, 1.. Software quality approaches : testing, verification, and validation ; with 30 tables
Wissensbasierte Software-Validation unter Unix
Software-Test : Verifikation und Validation
Software-Test : Verifikation und Validation
Witness-based validation of verification results with applications to software-model checking
Model transformation for validation of software design
Towards Virtual Validation of ECU Software using FMI