Object-Oriented Component-based Design using Behavioral Contracts: Application to Railway Systems
, 2015 In this report, we propose a formal approach for the design of object-oriented component-based systems using behavioral contracts. This formalism merges interface automata describingcommunication protocols of components with the semantics of their ...
Agrou, Khalid +3 more
core +1 more source
Research on A New CBTC Signaling System Based on Train-to-train Communication
机车电传动, 2018 The new CBTC signaling system based on train-to-train communication (train-to-train signaling system) introduces the concept of train centered. Through the establishment of communication and cooperation between trains, the autonomous operation and ...
LI Lei, LIN Yunzhi, WANG Lili
doaj
Inter-pathologist agreement on diagnosis, classification and grading of canine glioma. [PDF]
Vet Comp Oncol, 2022 Krane GA +9 more
europepmc +1 more source
Modeling the CBTC railway system with ScOLA
, 2015 Considering their increasing complexity, industrial systems are, in general, specified in a natural language. Especially transportation systems where the design phase results an ambiguous and laborious system specification. The objective of this paper is to present ScOLA, a formal modeling language based on scenarios and built on railway system ...
Issad, Melissa +3 more
openaire +1 more source
A multi-radio, multi-hop ad-hoc radio communication network for Communications-Based Train Control (CBTC) [PDF]
, 2017 Bro, Lars +3 more
core +1 more source
Community structure and insecticide resistance of malaria vectors in northern-central Myanmar. [PDF]
Parasit Vectors, 2022 Zhong D +10 more
europepmc +1 more source
Performance evaluation of a multi-radio, multi-hop ad-hoc radio communication network for Communications-Based Train Control (CBTC) [PDF]
, 2017 Bro, Lars +3 more
core +1 more source
Design of the Object Controller for Vehicle-to-vehicle CBTC System
Kongzhi Yu Xinxi Jishu, 2018 Vehicle-to-vehicle CBTC (communication based train control) system is one of the development direction of the next generation signaling system, which has simple structure, high performance, low construction and maintenance costs, and adapts to various ...
JIANG Hongkuo, REN Yin
doaj
Characterization of the Transient Deficiency of PKC Isozyme Levels in Immature Cord Blood T Cells and Its Connection to Anti-Allergic Cytokine Profiles of the Matured Cells. [PDF]
Int J Mol Sci, 2021 Perveen K +6 more
europepmc +1 more source