3 citations · 6 across the 6 of their papers we have counts for
1 paper · 1 filter
Alexei Iliasov, Dominic Taylor, Linas Laibinis +1
The increasing complexity of modern interlocking poses a major challenge to ensuring railway safety. This calls for application of formal methods forassurance and verification of t…