- Sprache
-
Englisch
- Identifier
-
1184204063
- Reihe
-
Linköping Electronic Conference Proceedings; 96
- Beteiligte Personen und Organisationen
- DOI
-
10.3384/ecp14096455
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:53 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Monografie
Beteiligte
- Mikelsons, Lars
- Su, Zhou
- Tummescheit, Hubertus
- Arzén, Karl-Erik
Ähnliche Objekte (12)
Pedestrian flow simulation validation and verification techniques
Validation and Verification of containmentFOAM CFD Simulations in Hydrogen Safety
Complete Functional Verification
Verification and validation of sensor networks
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
A generalized process for the verification and validation of models and simulation results
Functional Decomposition Approach - Reducing the Safety Validation Effort for Highly Automated Driving
Verification and validation of real time software
Functional safety SIL, Safety Integrity Level
Deductive verification of safety-critical Java programs
Multi-Agent Safety Verification using Symmetry Transformations
Model Validation and Simulation
Pedestrian flow simulation validation and verification techniques
Validation and Verification of containmentFOAM CFD Simulations in Hydrogen Safety
Complete Functional Verification
Verification and validation of sensor networks
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
A generalized process for the verification and validation of models and simulation results
Functional Decomposition Approach - Reducing the Safety Validation Effort for Highly Automated Driving
Verification and validation of real time software
Functional safety SIL, Safety Integrity Level
Deductive verification of safety-critical Java programs
Multi-Agent Safety Verification using Symmetry Transformations
Model Validation and Simulation
Pedestrian flow simulation validation and verification techniques
Validation and Verification of containmentFOAM CFD Simulations in Hydrogen Safety
Complete Functional Verification
Verification and validation of sensor networks
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
A generalized process for the verification and validation of models and simulation results
Functional Decomposition Approach - Reducing the Safety Validation Effort for Highly Automated Driving
Verification and validation of real time software
Functional safety SIL, Safety Integrity Level
Deductive verification of safety-critical Java programs
Multi-Agent Safety Verification using Symmetry Transformations