A theory of distributing train rescheduling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1051, Issue , 1996, Pages 499-517

  George, Chris ^a  

^a UNITED NATIONS UNIVERSITY   (Macao)

Author keywords

[No Author keywords available]

Indexed keywords

SPECIFICATIONS;

DISTRIBUTED SYSTEMS; FORMAL MODELLING; GENERIC SPECIFICATIONS; SOFTWARE SYSTEMS; SYSTEM SUPPORTS; TRAIN RESCHEDULING;

FORMAL METHODS;

EID: 84955594204     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60973-3_104     Document Type: Conference Paper

References (10)

1. Peter Michael Bruun et al: RAISE tools user guide. Technical report LACOS/- CRI/DOC/4, CRI A/S (1995)
2. Dong Yulin and Dines Bjcrner: PRaCoSy: Document deliverables. Technical report dyl/deliv/1, UNU/IIST (1994)
3. Chris George: Distributed train rescheduling. Technical report 42, UNU/IIST (1995)
4. Chris George and Scren Prehn: The RAISE Justification Handbook. Technical report LACOS/CRI/DOC/7, CRI A/S (1995)
5. Hong Mei: Distributed concurrent architecture for rescheduling. Technical report hm/arch/1, UNU/IIST (1995)
6. Liu Xin: A simple running map display tool. Technical report Ix/tool/01, UNU/IIST (1994)
7. Søren Prehn: A formal model of the railway application domain system. Technical report sp/5, UNU/IIST (1994)
8. Søren Prehn: A railway running map design. Technical report sp/12, UNU/IIST (1994)
9. The RAISE Language Group: The RAISE Specification Language. Prentice Hall BCS Practitioners Series (1992)
10. The RAISE Method Group: The RAISE Development Method. Prentice Hall BCS Practitioners Series (1995)