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

Committer vote for Armand Nachef #9

Closed MariellePetitDoche closed 11 years ago

MariellePetitDoche commented 11 years ago

As CEA is a major participant to the WP7 workpackage. +1

dalzilio commented 11 years ago

+1

mgudemann commented 11 years ago

+1

cecilebraun commented 11 years ago

+1

KlausRuedigerHase commented 11 years ago

+1

stanpinteTheSignallingCompany commented 11 years ago

+1

  From: Klaus-Rüdiger Hase [mailto:notifications@github.com] Sent: vendredi 8 mars 2013 11:14 To: openETCS/model-evaluation Subject: Re: [model-evaluation] Committer vote for Armand Nachef (#9)

  +1

— Reply to this email directly or view it on GitHub.