Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
|
Your cart is empty |
|||
Showing 1 - 3 of 3 matches in All Departments
This book examines the problem of interoperability related to operating rules and gives an overview of the formal method approaches related to this subject. The book examines the interoperability issues concerning implementation of European Rail Traffic Management System (ERTMS) while crossing a boarder. It also looks at the implementing of the ERTMS and provides solutions regarding operating rules for ERTMS lines, using formal methods and simulation tools. The contributors will also discuss operating rule validation and formal methods for safety assessment.
This book constitutes the refereed proceedings of the 4th International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.
This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019. The 18 full papers presented in this book were carefully reviewed and selected from 38 submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.
|
You may like...
British English Phonetic Transcription
Paul Carley, Inger M. Mees
Paperback
R1,123
Discovery Miles 11 230
Digital Language Learning and Teaching…
Michael Carrier, Ryan M. Damerow, …
Paperback
R1,393
Discovery Miles 13 930
Language Teacher Identity in TESOL…
Bedrettin Yazan, Kristen Lindahl
Paperback
R1,224
Discovery Miles 12 240
Analysing English as a Lingua Franca - A…
Alessia Cogo, Martin Dewey
Hardcover
R5,680
Discovery Miles 56 800
|