Railway Signalling
Systems
Communication Protocols
Flexible Manufacturing
Systems
Application areas for the correctness and performance analysis of concurrent systems
Examples of concurrent systems include railway signalling systems, communication protocols and flexible manufacturing systems. Ideally these systems should be modelled and tested before implementation when mistakes are easier (and cheaper) to correct.

[ Home | Previous | Next ]