# |
 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] |