Timed Specification Patterns for System Validation: A Railway Case Study
International conference; 7th, Informatics in control, automation and robotics ; 2010 ; Madeira, Portugal
2011-01-01
14 pages
Based on those presented at the conference. Also known as ICINCO 2010. Includes bibliographical references and index.
Conference paper
English
Informatics , Control , Automation , Robotics , ICINCO
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Timed Specification Patterns for System Validation: A Railway Case Study
Springer Verlag | 2011
|European Patent Office | 2020
|The fastest timed railway run in Europe
Engineering Index Backfile | 1902
|