- Name: Formalization of Test Interface / Subset-094 / 9.2, 10.2
- Description: UNISIG SUBSET-094, ISSUE : 2.1.0, 9.2)
- Copyright DLR, 2013
- Licensed under the EUPL V.1.1 ( http://joinup.ec.europa.eu/software/page/eupl/licence-eupl )
- Gist URL: none
- Cryptography: No
- Author(s): Marc Behrens and changes by Uwe

Terms of use:

The use of this software is limited to NON-vital applications.
It has NOT been developed for vital operation purposes and MUST NOT be used for applications
which may cause harm to people, physical accidents or financial loss.

THEREFORE, NO LIABILITY WILL BE GIVEN FOR SUCH AND ANY OTHER KIND OF USE.
Merge branch 'master' of https://github.com/openETCS/validation