Hello,
I am interested in evaluating the use of the COMPASS toolset as part of my research in safety-critical avionics systems. I would very much appreciate any assistance in helping to set up an NDA towards that purpose.
Thank you.
Regards
- Kurt
- - - - - - - - - - Kurt Woodham Safety-Critical Avionics Systems Branch NASA Langley Research Center 1 S Wright St, MS 130 Hampton VA 23681-2199
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Dear Kurt,
many thanks for your kind request. The usual procedure in that case is that legal persons of non-ESA member states may apply for a technology transfer procedure involving ESA's technology transfer board (ATB). We contacted our responsible contract officer from ESA to sort out the details, and will come back to you as soon as we have more information.
Best regards, Thomas
On 10.07.14 19:21, WOODHAM, KURT (LARC-D320) wrote:
Hello,
I am interested in evaluating the use of the COMPASS toolset as part of my research in safety-critical avionics systems. I would very much appreciate any assistance in helping to set up an NDA towards that purpose.
Thank you.
Regards
Kurt
- - - - - Kurt Woodham Safety-Critical Avionics Systems
Branch NASA Langley Research Center 1 S Wright St, MS 130 Hampton VA 23681-2199
- -- Thomas Noll http://moves.rwth-aachen.de/people/noll/ Software Modeling and Verification Group noll@cs.rwth-aachen.de RWTH Aachen University Phone +49/241/80-21213 Ahornstr. 55, 52056 Aachen, Germany Fax +49/241/80-22217
compass-support@lists.rwth-aachen.de