Formal Modeling and Data Validation of General Railway Interlocking System

doi 10.2495/cr180471
Full Text
Abstract

Available in full text

Date
Authors
Publisher

WIT Press

Related search

Formal Verification and Validation of ERTMS Industrial Railway Train Spacing System

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Comparing Formal Verification Approaches of Interlocking Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2016English

RailML Application for Description of Railway Interlocking Systems

AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe
2018English

Formal Verification of System-Level Safety Properties on Railway Software

2016English

A New Algebraic Approach to Decision Making in a Railway Interlocking System Based on Preprocess

Mathematical Problems in Engineering
MathematicsEngineering
2018English

Machine Learning and Modeling: Data, Validation, Communication Challenges

Medical Physics
MedicineNuclear MedicineRadiologyImagingBiophysics
2018English

In Vehicle Truck Steering-System Modeling and Validation

2016English

Incremental Validation of Formal Specifications

English

Modeling of Large Railway Polygons

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy