Verifying the Accuracy of Interlocking Tables for Railway Signalling Systems Using Abstract State Machines

Journal of Modern Transportation - China
doi 10.1007/s40534-016-0119-1
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

RailML Application for Description of Railway Interlocking Systems

AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe
2018English

Concurrent Abstract State Machines

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

State Enumeration With Abstract Descriptions of State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Transitive Closures of Regular Relations for Verifying Infinite-State Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Using Bisimulation Proof Techniques for the Analysis of Distributed Abstract Machines

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2008English

Formalization of Abstract State Transition Systems for SAT

Logical Methods in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Analysis of Liquid Ensembles for Enhancing the Performance and Accuracy of Liquid State Machines

Frontiers in Neuroscience
Neuroscience
2019English

Verification of Interlocking Systems Using Statistical Model Checking

2017English

Modelling and Implementation of Supervisory Control Systems Using State Machines With Outputs

2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy