[safety-documentation] Enhance the traffic light controller tutorial with safety cases
#4 Updated by Carmen Carlan over 2 years ago
- Assignee changed from Carmen Carlan to Anonymous
A power point presentation shall be created, where a safety case for the traffic light controller use case is created.
The sources of the existent tutorials can be found here: https://git.fortiss.org/af3/publication/tree/master/publication/tutorials