Reference map for faults in counterexample

loonwerks / AMASE

This is the repository for Architectural Modeling and Analysis for Safety Engineering (AMASE).

BSD 3-Clause "New" or "Revised" License

6 stars 4 forks source link

Closed dkstewart closed 6 years ago

dkstewart commented 6 years ago

Be able to click on fault and it will take you to the safety annex containing that fault definition.

dkstewart commented 6 years ago

DS: Enhancement implemented.