- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
In: 10.11591/ijaas.v11.i1.pp47-64
- Classification
-
Allgemeines, Wissenschaft
- Event
-
Veröffentlichung
- (where)
-
Aachen
- (who)
-
Universitätsbibliothek der RWTH Aachen
- (when)
-
2022
- Creator
- DOI
-
10.18154/RWTH-2022-03221
- URN
-
urn:nbn:de:101:1-2022041503270284622987
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
25.03.2025, 1:41 PM CET
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.
Associated
- Dahmen, Ulrich Richard
- Osterloh, Tobias
- Roßmann, Jürgen
- Universitätsbibliothek der RWTH Aachen
Time of origin
- 2022
Other Objects (12)
Verification and validation of sensor networks
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
Verification and validation of real time software
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Validation and verification of software process models
Simulation for verification and validation of functional safety
The GRASPIN approach to software validation and verification
Automated validation and verification of railway specific components and systems
Petri nets in system engineering : modelling, verification, and validation
Supporting Validation and Verification of State-Based Formal Models
Virtual prototyping and experimental verification of machine tools accuracy
Verification and validation of sensor networks
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
Verification and validation of real time software
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Validation and verification of software process models
Simulation for verification and validation of functional safety
The GRASPIN approach to software validation and verification
Automated validation and verification of railway specific components and systems
Petri nets in system engineering : modelling, verification, and validation
Supporting Validation and Verification of State-Based Formal Models
Virtual prototyping and experimental verification of machine tools accuracy
Verification and validation of sensor networks
Java and the Java virtual machine : definition, verification, validation ; with 18 tables, and CD-ROM
Verification and validation of real time software
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Validation and verification of software process models
Simulation for verification and validation of functional safety
The GRASPIN approach to software validation and verification
Automated validation and verification of railway specific components and systems
Petri nets in system engineering : modelling, verification, and validation
Supporting Validation and Verification of State-Based Formal Models