Car Park Specification

Car Park Specification

The behaviour of the car park can be modelled by three processes as shown below:

Specification

Previous slide

Next slide

Back to the first slide

View Graphic Version