search

openETCS / validation

WP4: Validation and verification strategy
8 stars 22 forks source link

PR for Review of D4.2.1 (TWT) - B/Event-B model - issue #171 #179

Closed mgudemann closed 10 years ago

mgudemann commented 10 years ago
SNIP

Name: Resolved issue #171 for Systerel section of D4.2.1 Description: Include comments by @srieger about the B-model and Event-B model 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

SNAP