Formal Development and Verification of a Distributed Railway Control System.
Anne E. HaxthausenJan PeleskaPublished in: World Congress on Formal Methods (1999)
Keyphrases
- control system
- distributed systems
- case study
- software engineering
- cooperative
- real time
- fuzzy logic
- formal methods
- development process
- information processing
- holonic manufacturing systems
- control strategy
- distributed environment
- mobile agents
- virtual environment
- knowledge based systems
- decision support
- mobile robot