openETCS/toolchain — pull request #295 by srieger (2014-02-21 14:11:36+00:00)
Title: Additions to SystemC and Uppaal sections in D7.2

Name: Additions to SystemC and Uppaal sections in D7.2
Description: Additions to SystemC and Uppaal sections in D7.2
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