Formal Development and Verification of a Distributed Railway Control System.

Anne E. Haxthausen Jan Peleska

Published in: IEEE Trans. Software Eng. (2000)

Keyphrases

control system
distributed systems
cooperative
decision support
genetic algorithm
fuzzy logic
knowledge management
model checking
development process
fault tolerant
lightweight
formal specification
control algorithm
computing environments
closed loop
distributed environment
dynamic environments
information systems