# |
 Period  |
Type |
Name |
Principal investigator |
 |
176. |
2010 - 2014 |
ANR |
|
|
|
177. |
2004 - 2008 |
Subvention |
FRAGILEFailure Resilience and Application Guaranteed Integrity in Large-scale Environments |
|
|
178. |
2010 - 2012 |
Industriel |
|
|
|
179. |
2012 - 2015 |
Pole de competitivite |
|
|
|
180. |
2008 - 2011 |
Contrat europeen |
FVOOSFormal Verification of Object-Oriented Programs |
|
|
181. |
2007 - 2010 |
DIGITEO |
GALEEAutomatic Generation of Efficient Embedded Softwares |
|
|
182. |
2003 - 2006 |
Subvention |
|
|
|
183. |
2006 - 2009 |
Subvention |
|
|
|
184. |
2016 - 2016 |
Subvention |
|
|
|
185. |
2017 - 2017 |
Subvention |
|
|
|
186. |
2018 - 2018 |
Subvention |
|
|
|
187. |
2018 - 2018 |
Subvention |
|
|
|
188. |
2018 - 2018 |
Subvention |
|
|
|
189. |
2018 - 2018 |
Subvention |
|
|
|
190. |
2003 - 2007 |
Subvention |
GECCOOGeneration of Certified Code for Object Oriented Applications specification, refinement, proof and error detection |
|
|
191. |
2007 - 2009 |
Industriel |
|
|
|
192. |
2017 - 2019 |
autre financeur public |
|
|
|
193. |
2004 - 2005 |
Industriel |
|
|
|
194. |
2006 - 2009 |
Contrat europeen |
GENNETECGENetic NETworks: Emergence and Complexity |
|
|
195. |
2015 - 2019 |
ANR |
|
|
|
196. |
2003 - 2005 |
Subvention |
|
|
|
197. |
2013 - 2016 |
ANR |
|
|
|
198. |
2006 - 2008 |
Contrat europeen |
|
|
|
199. |
2018 - 2018 |
Subvention |
|
|
|
200. |
2007 - 2009 |
Subvention |
GT CMFComplexity and Finite Models |
|
|
|
| Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 8 sur 22] |
