openETCS/toolchain — pull request #54 by astante (2013-06-21 11:46:52+00:00)
Title: Assessment for Event-B and Rodin added

Hello,

I added the assessment for Event-B and Rodin.

Name: Assessment for Event-B and Rodin added
Description: Assessment of the 2nd assessor for Event-B and Rodin
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