openETCS/validation — pull request #38 by alexn84 (2013-07-19 12:57:19+00:00)
Title: Added 'Verification with model-based simulation' to Sec.5.3 of the V&VPl...

Added 'Verification with model-based simulation' to Sct. 5.3

•Name: Alexander Nitsch
•Description: Verification with model-based simulation
•Gist URL: none
•Cryptography: none
•Author(s): Alexander Nitsch

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