Efficient verification of railway infrastructure designs against standard regulations
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1572-8102
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Efficient verification of railway infrastructure designs against standard regulations ; day:15 ; month:6 ; year:2017 ; pages:1-32
Formal methods in system design ; (15.6.2017), 1-32
- Klassifikation
-
Handel, Kommunikation, Verkehr
- Urheber
-
Luteberget, Bjørnar
- Beteiligte Personen und Organisationen
-
Johansen, Christian
SpringerLink (Online service)
- DOI
-
10.1007/s10703-017-0281-z
- URN
-
urn:nbn:de:1111-201710141897
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:29 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.
Beteiligte
- Luteberget, Bjørnar
- Johansen, Christian
- SpringerLink (Online service)
Ähnliche Objekte (12)
Improvement of railway performance: a study of Swedish railway infrastructure
Composite indicator for railway infrastructure management
Efficiency in railway operations and infrastructure management
Space weather climate impacts on railway infrastructure
A Deductive Verification Infrastructure for Probabilistic Programs
Layer Model for the Railway Infrastructure Design Process
Assessing climate-induced risks to urban railway infrastructure
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Efficient verification of quantum resources
Railway infrastructure management in the United States of America
Aggregate and regional economic effects of new railway infrastructure
Improvement of railway performance: a study of Swedish railway infrastructure
Composite indicator for railway infrastructure management
Efficiency in railway operations and infrastructure management
Space weather climate impacts on railway infrastructure
A Deductive Verification Infrastructure for Probabilistic Programs
Layer Model for the Railway Infrastructure Design Process
Assessing climate-induced risks to urban railway infrastructure
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Efficient verification of quantum resources
Railway infrastructure management in the United States of America
Aggregate and regional economic effects of new railway infrastructure
Improvement of railway performance: a study of Swedish railway infrastructure
Composite indicator for railway infrastructure management
Efficiency in railway operations and infrastructure management
Space weather climate impacts on railway infrastructure
A Deductive Verification Infrastructure for Probabilistic Programs
Layer Model for the Railway Infrastructure Design Process
Assessing climate-induced risks to urban railway infrastructure
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
Efficient verification of quantum resources
Railway infrastructure management in the United States of America