In this paper we propose a structured approach to modelling and developing large geographical interlocking systems, combining the communication models of ...
This work combines Event-B with a component-based reuse strategy realized with session types and consists of an Event-B extension with communication primitives ...
This work consists of an Event-B extension with communication primitives to enable communication between the railway entities, a projection of session type ...
The paper by Kiss and Já nosi-Rancz [16] proposed a structured model approach and develop distributed railway interlocking system by using the Event-B formal ...
Developing railway interlocking systems with session types and Event-B. セッション型およびEvent-Bを用いた鉄道連動システムの開発【Powered by NICT】. Publisher ...
Tibor Kiss, Katalin Tunde Janosi-Rancz: Developing railway interlocking systems with session types and Event-B. SACI 2016: 93-98. manage site settings.
Developing railway interlocking systems with Session types and Event-B. T Kiss, KT Jánosi-Rancz. IEEE International Symposium on Applied Computational ...
Developing railway interlocking systems with Session types and Event-B. T Kiss, KT Jánosi-Rancz. IEEE International Symposium on Applied Computational ...
Developing railway interlocking systems with Session types and Event-B. T Kiss, KT Jánosi-Rancz. IEEE International Symposium on Applied Computational ...
People also ask
How many types of interlocking are there in railway?
What is the electronic interlocking system in railway?
What is a train interlocking?
Dec 2, 2021 · Developing railway interlocking systems with session types and Event-B. In. 2016 IEEE 11th International Symposium on Applied. Computational ...