ERTMSFormalSpecs assessment by Assessor 2 / conclusions

openETCS / model-evaluation

part of WP7: collects the various activities regarding selecting a tool and formal specification for modeling

13 stars 20 forks source link

Closed stanpinteTheSignallingCompany closed 10 years ago

stanpinteTheSignallingCompany commented 11 years ago

we would like the assessment conclusion of assessor 2 to be reviewed in light of new questions/answers/issues.

MariellePetitDoche commented 11 years ago

An answer or a comment has been done for each issue.

stanpinteTheSignallingCompany commented 11 years ago

We listed all items for which we think the score is partial and unfair (unjustified 0 or 1) regarding the scope of the OpenETCS project.

We shall contact the WP leader to ask for fair evaluation.