Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model-Reference-Cited by-同舟云学术

Formal Specification of Environmental Aspects of a Railway Interlocking System Based on a Conceptual Model

Published:2019 Issue: Volume: Page:338-351
ISSN:0302-9743
Container-title:Conceptual Modeling
language:
Short-container-title:

Author:

de Almeida Pereira Dalay Israel^ORCID,Debbech Sana^ORCID,Perin Matthieu^ORCID,Bon Philippe,Collart-Dutilleul Simon

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-33223-5_28

Reference17 articles.

1. Abrial, J.R.: The B-book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)

2. Lecture Notes in Computer Science;DI Almeida Pereira de,2019

3. de Almeida Pereira, D.I., Perin, M., Bon, P., Collart-Dutilleul, S.: A framework for the formal specification of relay-based systems based on a b-method graph specification. Int. J. Comput. Electr. Eng. (IJCEE) 11(1), 11–19 (2019)

4. CENELEC, NF EN 50129: Applications ferroviaires: Systèmes de signalisation, de télécommunication et de traitement - Systèmes électroniques de écurité pour la signalisation, Mai 2003

5. Debbech, S., Bon, P., Collart-Dutilleul, S.: Towards semantic interpretation of goal-oriented safety decisions based on foundational ontology. J. Comput. (JCP) 14(4), 257–267 (2019)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CSP Specification and Verification of a Relay-Based Railway Interlocking System;Lecture Notes in Computer Science;2023-12-02

2. Designing Operating Rules for ERTMS Transnational Lines;Operating Rules and Interoperability in Trans-National High-Speed Rail;2021-03-12

3. Articulating Conceptual Modeling Research Contributions;Lecture Notes in Computer Science;2021