search

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

ERTMSFormalSpecs assessment by Assessor 2 / main usage / missing translation tutorial #45

Closed stanpinteTheSignallingCompany closed 11 years ago

stanpinteTheSignallingCompany commented 11 years ago

"Is there any document to describe this translation from ERTMSFormalSpecs to an another language ?"

This is now tracked by issue: https://github.com/openETCS/ERTMSFormalSpecs/issues/112

Could you please add in your evaluation that this issue is tracking your question?

MariellePetitDoche commented 11 years ago

Done