Last modified by Aurélie Hurault on 2020/07/30 12:06
From version 31.1
edited by Aurélie Hurault
on 2020/07/08 10:54
Change comment: There is no comment for this version
To version 32.1
edited by Aurélie Hurault
on 2020/07/08 10:54
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -7,8 +7,8 @@
7 7  (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
8 8  (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)La complexité de ces systèmes est évidente et la maîtrise des risques inhérents à leur utilisation est ainsi de plus en plus pressante. Il est clair que pour garantir leur sûreté et leur sécurité, l’adoption de moyens d’investigation indubitables et des techniques sûres et fiables reposant sur des fondements mathématiques s’impose. Aussi, les méthodes formelles ont-elles vocation à jouer un rôle d’envergure dans ce cadre avec des bénéfices indéniables. Ce faisant, pour être efficaces, les méthodes formelles devront inévitablement s’adapter au caractère ouvert, imprécis et intelligent de ces systèmes. Ce groupe vise à faire progresser la science informatique, en particulier les méthodes formelles, pour la conception, la programmation et la vérification de ces systèmes critiques émergents.
9 9  
10 -(% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
11 -[[image:sc_emergents.jpg||height="415" width="738"]]
10 +(% style="text-align:center" %)
11 +[[image:sc_emergents.jpg||queryString="width=738&height=415" height="415" width="738"]]
12 12  
13 13  (% style="line-height:1.656; margin-top:16px; margin-bottom:16px" %)
14 14  (% style="color:#000000; font-family:Arial; font-size:11pt; font-style:normal; font-variant:normal; font-weight:400; text-decoration:none; white-space:pre-wrap" %)[[Lien vers le défis.>>https://gdrgpl.myxwiki.org/xwiki/bin/download/Main/WebHome/FM_systemes_emergents.pdf?rev=1.1]]