Test case generation from formal specifications on the example of train control systems
International conference; 7th, Computers in railways ; 2000 ; Bologna, Italy
2000-01-01
10 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Formal Specifications of the European Train Control System
British Library Conference Proceedings | 1997
|Generation of Object-Oriented Formal Software Specifications
British Library Conference Proceedings | 1997
|