Advertisement

Scheduling and Rescheduling of Trains

  • Dines Bjørner
  • Chris George
  • Søren Prehn
Part of the Formal Approaches to Computing and Information Technology (FACIT) book series (FACIT)

Abstract

The PRaCoSy (Peoples Republic of China Railway Computing System) project was a collaborative project between the Chinese Ministry of Railways and UNU/IIST, the United Nations University International Institute for Software Technology in Macau. The first phase ran from September 1993 to December 1994 and the second from August 1995 to March 1996.

Keywords

Domain Analysis Initial Specification Linked List Passenger Train Station Visit 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag London 1999

Authors and Affiliations

  • Dines Bjørner
  • Chris George
  • Søren Prehn

There are no affiliations available

Personalised recommendations