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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
