openETCS/validation — pull request #140 by mgudemann (2013-11-25 14:38:28+00:00)
Title: small changes in VnV stories document

Name: Matthias Güdemann
Description: Some changes the VnV user story concerning Event-B
Gist URL: No
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