railway behaviour in modelling computing systems

Job ID: 33223499

Budget: £10 – £20 GBP

The behaviour of a railway level crossing is depicted in a labelled transition system.
Related categories: Label Design Computer Science