Dear all,
We are still interested in the proposal. I agree with Jonathan: I also
think that the "open development platforms for software and services"
objective fits better to our interests.
With respect to our contribution, we have some experience on introducing
formal methods in telecommunication projects. We have some experiences
on demonstrating that a formal approach is worth considering.
Additionally, we have some experience in testing methodologies and
frameworks for testing.
Best,
Manolo
--
\\|//
(o o)
-------------------------------oOO--(_)--OOo--------------------------
Manuel J. Fernandez Iglesias e-mail : [log in to unmask]
ETSI Telecomunicacion FAX : +34-986-812116
Campus Universitario s/n Tfno : +34-986-813777
36200-VIGO (Spain)
URL: http://www-gist.det.uvigo.es/~manolo
----------------------------------------------------------------------
|