Hochschulschrift
Automated validation and verification of railway specific components and systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783832270438
3832270434
- Dimensions
-
21 cm
- Extent
-
V, 159 S.
- Language
-
Englisch
- Notes
-
Ill., graph. Darst.
Zugl.: Bremen, Univ., Diss., 2007
- Keyword
-
Schienenverkehr
Automation
Bounded Model Checking
Binäres Entscheidungsdiagramm
Erfüllbarkeitsproblem
- 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, 2:07 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
- Hochschulschrift
Associated
- Kinder, Sebastian
- Shaker
Time of origin
- 2008
Other Objects (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