- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
In: Proceedings of the 10th International Modelica Conference, March 10-12, 2014, Lund, Sweden, S. 455-464
- Erschienen in
-
Linköping Electronic Conference Proceedings ; 96
- Ereignis
-
Veröffentlichung
- (wo)
-
Augsburg, Linköping
- (wer)
-
Universität Augsburg, Linköping University Electronic Press
- (wann)
-
2014
- Urheber
- Beteiligte Personen und Organisationen
-
Tummescheit, Hubertus
Arzén, Karl-Erik
- DOI
-
10.3384/ecp14096455
- URN
-
urn:nbn:de:bvb:384-opus4-518593
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
25.03.2025, 13:50 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.
Beteiligte
- Mikelsons, Lars
- Su, Zhou
- Tummescheit, Hubertus
- Arzén, Karl-Erik
- Universität Augsburg, Linköping University Electronic Press
Entstanden
- 2014
Ä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 logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Verification and validation of sensor networks
Functional Decomposition Approach - Reducing the Safety Validation Effort for Highly Automated Driving
A generalized process for the verification and validation of models and simulation results
Temporal verification of reactive systems : safety
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
Functional safety SIL, Safety Integrity Level
Pedestrian flow simulation validation and verification techniques
Validation and Verification of containmentFOAM CFD Simulations in Hydrogen Safety
Complete Functional Verification
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Verification and validation of sensor networks
Functional Decomposition Approach - Reducing the Safety Validation Effort for Highly Automated Driving
A generalized process for the verification and validation of models and simulation results
Temporal verification of reactive systems : safety
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
Functional safety SIL, Safety Integrity Level
Pedestrian flow simulation validation and verification techniques
Validation and Verification of containmentFOAM CFD Simulations in Hydrogen Safety
Complete Functional Verification
Verification and validation of logic control safety applications : Verifikation und Validierung von Steuerungssoftware für Sicherheitsanwendungen
Verification and validation of sensor networks
Functional Decomposition Approach - Reducing the Safety Validation Effort for Highly Automated Driving
A generalized process for the verification and validation of models and simulation results
Temporal verification of reactive systems : safety
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software