# |
Period |
Type |
Name |
Principal investigator |
|
26. |
2002 - 2005 |
PPF |
|
|
|
27. |
2003 - 2006 |
CIFRE |
|
|
|
28. |
2005 - 2006 |
Subvention |
|
|
|
29. |
2005 - 2006 |
BQR |
|
|
|
30. |
2003 - 2006 |
Subvention |
|
|
|
31. |
2003 - 2006 |
Subvention |
|
|
|
32. |
2003 - 2006 |
Subvention |
|
|
|
33. |
2003 - 2006 |
Subvention |
|
|
|
34. |
2003 - 2006 |
Subvention |
|
|
|
35. |
2003 - 2006 |
Subvention |
VERAApproximate verification |
|
|
36. |
2003 - 2006 |
|
NEMONEMO: a grouped mobility |
|
|
37. |
2003 - 2006 |
ANR |
|
|
|
38. |
2003 - 2006 |
Subvention |
|
|
|
39. |
2003 - 2006 |
Subvention |
|
|
|
40. |
2003 - 2006 |
Subvention |
MDP2PMassive data in Peer to Peer |
|
|
41. |
2003 - 2006 |
Subvention |
|
|
|
42. |
2004 - 2007 |
|
edosEnvironment for the development and Distribution of Open Source software |
|
|
43. |
2003 - 2007 |
Subvention |
GECCOOGeneration of Certified Code for Object Oriented Applications specification, refinement, proof and error detection |
|
|
44. |
2004 - 2007 |
Subvention |
|
|
|
45. |
2004 - 2007 |
Subvention |
|
|
|
46. |
2005 - 2007 |
Industriel |
|
|
|
47. |
2004 - 2007 |
Subvention |
|
|
|
48. |
2004 - 2007 |
ANR |
ALIDECSLanguages and Tool-Chain for the Development of Safe Embedded Components |
|
|
49. |
2004 - 2007 |
Subvention |
ACI NPPACI Normes, Pratiques et Régulations des politiques |
|
|
50. |
2004 - 2007 |
Subvention |
ARENANational woring group on bioinformatics for RNA structure and function |
|
|
|
Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 2 sur 22] |