openETCS/toolchain — pull request #156 by astante (2013-09-13 08:05:31+00:00)
Title: Added clarification regarding bidirectional traceability (#75)

Name: Fix of issue #75
Description: Added clarification regarding bidirectional traceability for Classical B toolchain
Gist URL: -
Cryptography: No
Author(s): Self

I hereby declare that I accept to contribute following the openETCS terms of use and the openETCS IP policy.

http://openetcs.org/termsofuse

https://github.com/openETCS/ecosystem/wiki/IP-Policy