Hochschulschrift
Automated validation and verification of railway specific components and systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832270438
3832270434
- Maße
-
21 cm
- Umfang
-
V, 159 S.
- Sprache
-
Englisch
- Anmerkungen
-
Ill., graph. Darst.
Zugl.: Bremen, Univ., Diss., 2007
- Schlagwort
-
Schienenverkehr
Automation
Bounded Model Checking
Binäres Entscheidungsdiagramm
Erfüllbarkeitsproblem
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:07 MESZ
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
- Hochschulschrift
Beteiligte
- Kinder, Sebastian
- Shaker
Entstanden
- 2008
Ähnliche Objekte (12)
Verification and validation of sensor networks
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
Verification and validation of digital twins and virtual testbeds
Specification and verification of object oriented software components
Simulation for verification and validation of functional safety
The GRASPIN approach to software validation and verification
Supporting Validation and Verification of State-Based Formal Models
Petri nets in system engineering : modelling, verification, and validation
Computational methods in transport: verification and validation : with 33 tables
Verification and validation of sensor networks
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
Verification and validation of digital twins and virtual testbeds
Specification and verification of object oriented software components
Simulation for verification and validation of functional safety
The GRASPIN approach to software validation and verification
Supporting Validation and Verification of State-Based Formal Models
Petri nets in system engineering : modelling, verification, and validation
Computational methods in transport: verification and validation : with 33 tables
Verification and validation of sensor networks
Pedestrian flow simulation validation and verification techniques
Validation and verification of software process models
Validation and verification of software process models
Verification and validation of real time software
Verification and validation of digital twins and virtual testbeds
Specification and verification of object oriented software components
Simulation for verification and validation of functional safety
The GRASPIN approach to software validation and verification
Supporting Validation and Verification of State-Based Formal Models
Petri nets in system engineering : modelling, verification, and validation