Rodin Handbook

This work is sponsored by the Deploy Project

This work is sponsored by the ADVANCE Project

Creative Commons License

Creative Commons License

This work is licensed under a Creative Commons Attribution 3.0 Unported License

Expanding the Traffic Light System:
Contexts and Refinement

Rodin User’s Handbook v.2.8

2.8 Expanding the Traffic Light System:
Contexts and Refinement

$\includegraphics[width=7mm]{img/tick_64.png}$
Goals: We apply what we learned in the previous section by introducing a context with traffic light colours and a refinement to integrate them. We will also introduce another refinement for the push buttons.

Rodin User’s Handbook v.2.8 : Tutorial : Expanding the Traffic Light System:
Contexts and Refinement