Information Technology Reference
In-Depth Information
119. Roanes-Lozano, E., Laita, L.M., Roanes-Macias, E.: An Algebraic Model for
Decision-taking in Railway Interlocking. In: Montigel, M. (ed.) FME Rail Work-
shop # 3, FME Rail Workshop; St. Polten. FME: Formal Methods Europe, vol.
# 3 (February 17-19, 1999)
120. Ropke, B., Seibel, W., Wozniak, A.: Verification and function test of electronic
interlockings in the system test centre (rail trac control). Signal und Draht 87(4),
120-122 (1995)
121. Rowden, N.: A safe, reliable control and supervisory system for railway networks.
In: Schoitsch, E. (ed.) SAFECOMP'96: 15th International Conference on Com-
puter Safety, Reliability and Security, Vienna, Austria, p. 266. Springer, Heidel-
berg (1996)
122. Savage, M.J.: Junction optimisation technique. The Computer Journal 12(3), 268-
272 (1969)
123. Sethy, A.: Connection between reliability and signalling-safety in railway technol-
ogy. In: Reliability and Maintainability Symposium, Las Vegas, Nevada USA, pp.
75-79 (1992)
124. Short, R.C.: Software validation for a railway signalling system. In: SAFE-
COMP'83, pp. 183-193. Pergamon Press, Oxford (1983)
125. Simpson, A.: A formal specification of an automatic train protection system. In:
Naftalin, M., Bertran, M., Denvir, T. (eds.) FME 1994. LNCS, vol. 873, pp. 602-
617. Springer, Heidelberg (1994)
126. Skakkebæk, J.U.: A Larger Case Study: Railway Crossing, chapter 7. Dept. of
Computer Science, Techn. Univ. of Denmark, vol. I (1992)
127. Tsiflakos, K., Owen, D.B.: A graphical sytem for the interactive visual modelling
of railway transportation layouts. COMPUGRAPHICS '91 I, 409-418 (1991)
128. van der Aalst, W.M.P., Odijk, M.A.: Analysis of railway stations by means of
interval timed colored Petri Nets. Real-Time Systems 9(3), 241-263 (1995)
129. VanWezel, M.C., Kok, J.N., Van Den Berg, J., VanKampen, W.: Genetic improve-
ment of railway timetables. In: Davidor, Y., M¨anner,R.,Schwefel,H.-P.(eds.)
Parallel Problem Solving from Nature - PPSN III. LNCS, vol. 866, pp. 566-575.
Springer, Heidelberg (1994)
130. Woodcock, J.: A CSP Model of the Alcatel Dwarf Case Study. In: Lecomte, T.,
Larsen, P.G. (eds.) FME Rail Workshop # 5, FME Rail Workshop; Toulouse,
France. FME: Formal Methods Europe, Steria, France, vol. # 4 (September 22-
24, 1999)
131. Yulin, D.: Train Running Map. Technical Note dyl/8/1, UNU/IIST, the UN Uni-
versity's International Institute for Software Technology, P.O. Box 3058, Macau;
(October 1993), E-Mail:
library@iist.unu.edu
132. zu Horste, M.M.: Modelling and Simulation of Train Control Systems with Petri
Nets. In: FME Rail Workshop # 3. FME: Formal Methods Europe, vol. # 3
(February 1999)
Search WWH ::
Custom Search