Affordable Access

deepdyve-link
Publisher Website

B-specification of Relay-based Railway Interlocking Systems Based on the Propositional Logic of the System State Evolution

Authors
  • DE ALMEIDA PEREIRA, Dalay Israel
  • DEHARBE, David
  • Perin, Matthieu
  • Bon, Philippe
Publication Date
Jun 04, 2019
Identifiers
DOI: 10.1007/978-3-030-18744-6_16
OAI: oai:HAL:hal-02185230v1
Source
HAL
Keywords
Language
English
License
Unknown
External links

Abstract

RSSRail 2019, International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, Lille, FRANCE, 04-/06/2019 - 06/06/2019

Report this publication

Statistics

Seen <100 times