Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
A refinement-based development of a distributed signalling systemStankaitis, Paulius ; Iliasov, Alexei ; Kobayashi, Tsutomu ; Aït-Ameur, Yamine ; Ishikawa, Fuyuki ; Romanovsky, AlexanderFormal aspects of computing, 2021-12, Vol.33 (6), p.1009-1036 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
2 |
Material Type: Artigo
|
Exploring the ERTMS/ETCS full moving block specification: an experience with formal methodsBasile, Davide ; ter Beek, Maurice H. ; Ferrari, Alessio ; Legay, AxelInternational journal on software tools for technology transfer, 2022-06, Vol.24 (3), p.351-370 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
3 |
Material Type: Artigo
|
Modelling and simulating a Thai railway signalling system using Coloured Petri NetsVanit-Anunchai, SomsakInternational journal on software tools for technology transfer, 2018-06, Vol.20 (3), p.243-262 [Periódico revisado por pares]Berlin/Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
4 |
Material Type: Artigo
|
A Refinement-based Formal Development of Cyber-physical Railway Signalling SystemsAït-Ameur, Yamine ; Bogomolov, Sergiy ; Dupont, Guillaume ; Iliasov, Alexei ; Romanovsky, Alexander ; Stankaitis, PauliusFormal aspects of computing, 2023-03, Vol.35 (1), p.1-1, Article 3 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
|
5 |
Material Type: Artigo
|
Toward quantifying metrics for rail-system resilience: identification and analysis of performance weak resilience signalsde Regt, Anouk ; Siegel, Aron Wolf ; Schraagen, Jan MaartenCognition, technology & work, 2016-05, Vol.18 (2), p.319-331 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
6 |
Material Type: Artigo
|
Cognitive workload analysis in rail signalling environmentsKrehl, Claudia ; Balfe, NoraCognition, technology & work, 2014-08, Vol.16 (3), p.359-371 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
|
7 |
Material Type: Artigo
|
Issues of standardizing requirements for resistance and strength of railroad automation and signaling systems used in high-speed railways versus external mechanical impactBenin, A. V. ; Belishkina, T. A. ; Vyatkin, A. G.Russian electrical engineering, 2016-05, Vol.87 (5), p.292-296 [Periódico revisado por pares]New York: Allerton PressTexto completo disponível |
|
8 |
Material Type: Artigo
|
Control Algorithms and Mathematical Modeling of Interval Train TrafficBestemyanov, P. F. ; Baranov, L. A.Russian electrical engineering, 2023-09, Vol.94 (9), p.621-624 [Periódico revisado por pares]Moscow: Pleiades PublishingTexto completo disponível |
|
9 |
Material Type: Artigo
|
An Intelligent Algorithm for Automated Control of Railway-Crossing SignalingTretyakov, G. M. ; Tarasova, A. E. ; Tarasov, E. M.Russian electrical engineering, 2023-10, Vol.94 (10), p.726-731 [Periódico revisado por pares]Moscow: Pleiades PublishingTexto completo disponível |
|
10 |
Material Type: Artigo
|
Mobile relays for urban rail transportation systemsIturralde, Mauricio ; Kerdoncuff, Tanguy ; Galezowski, Thomas ; Lagrange, XavierTelecommunication systems, 2021-04, Vol.76 (4), p.553-568 [Periódico revisado por pares]New York: Springer USTexto completo disponível |