System safety property-oriented test sequences generating method based on model checking
12th, International conference on computer system design and operation in railways and other transit systems; Computers in railways XII ; 2010 ; Beijing
01.01.2010
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.
Generating MC/DC adequate test sequences through model checking
Tema Archiv | 2004
|SAE Technical Papers | 2005
|Quantitative safety analysis of train control system based on statistical model checking
DOAJ | 2022
|Projection Temporal Logic Oriented Model Checking for Web Services
British Library Online Contents | 2009
|