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

Steam Diesel Dition Dine Editing 

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