Use of model transformation for the formal analysis of railway interlocking models
12th, International conference on computer system design and operation in railways and other transit systems; Computers in railways XII ; 2010 ; Beijing
2010-01-01
12 pages
Includes bibliographical references and index; Also known as COMPRAIL 2010
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal validation method and tools for computerized railway interlocking systems
Tema Archiv | 2008
|Formal Validation Method and Tools for French Computerized Railway Interlocking Systems
British Library Conference Proceedings | 2008
|Validation of Railway Interlocking Systems by Formal Verification, A Case Study
British Library Conference Proceedings | 2014
|