1 |
Alain Faivre and Paul Benoit, 'Safety Critical Software of Meteor Devεloped with the B Formal Method and the Vital Coded Processor', World Congress on Railway Research (WCRR), (1999)
|
2 |
L. Allain, O. Lahlou and P. Bon, 'Formalizati on and Simulation of Opεrating Rules Using Colored Petri Nets', Computers in Railway X, pp. 329-340, (2006)
|
3 |
福岡 博, 福田 光昘, 'ぺトリネツトによる連動 仕樣の檢証', RTTI Report, Volume 9, Number 11, pp.19-24,(1995)
|
4 |
G. marianom, J. L. Boulanger and P. Bon, From UML to B - A Level Crossing Case Study', Computers in Railway X, pp. 351-362, (2006)
|
5 |
G. T. Park, H. Lee and J. G. Hwang, 'Performance Evaluation and Verification of Communication Protocol for Railway Signaling Systems', Computer Standards & Interfaces, Volume 27, pp. 207-219, (2005).
DOI
ScienceOn
|
6 |
Kotonya, G., and Sommerville, I., 'Requirements Enginεering: Process and Techniques', Wiley, (1998)
|
7 |
H. J. Jo, J. G. Hwang and Y. K. Yoon, 'The Analysis of Formal Methods for Applying to Vital SfW in Train Control Systems', Spring Conference of Korean Society for Railway, (2007)
|
8 |
Jonathan Jacky, 'The Way of Z', Cambridge, (1997)
|
9 |
Ammon N aamad and David Harel, 'The STATEMATE Sεmantics of Statecharts', ACM Trans. Soft. Eng. Method, (1996)
|
10 |
IEC 62278, 'Railway Applications The specification and demonstration of RAMS',(2002)
|
11 |
IEC 62425 Ed. 1, 'Railway Application: Communications, signaling and processing systems - Safety related electronic system for signaling', (2005)
|