Ajouter un attachement

Seuls les utilisateurs autorisés peuvent publier de nouveaux attachements.

Cette page (révision-12) a été modifiée pour la dernière fois le 17-oct.-2013 21:41 par cortier

Cette page a été créée le 08-juil.-2011 15:59 par (auteur inconnu)

Seuls les utilisateurs autorisés ont le droit de renommer des pages.

Seuls les utilisateurs authentifiés ont le droit de supprimer des pages.

Différences entre les versions et

En ligne 6, changement de une ligne
The genesis of the Department Formal Methods is related to several joint projects which have structured research at LORIA in Formal Methods and related topics. Ten years ago, these teams have been federated in a joint project called QSL Qualité et Sûreté du Logiciel and have developed short joint projects; moreover, seminars have been organised by members of this department. Very recently, the project QSL has been extended into another regional project called SSS for Sûreté et Sécurité des Systèmes and has integrated colleagues from the Automatic Control Laboratory and form the Mathematics Laboratory. Moreover, these teams are strongly related to shared common concepts, techniques and tools related to formal methods and the six teams of the department 2 called Formal Methods work in the following themes:
The genesis of the Department Formal Methods is related to several joint projects which have structured research at LORIA in Formal Methods and related topics. Ten years ago, these teams have been federated in a joint project called QSL Qualité et Sûreté du Logiciel and have developed short joint projects; moreover, seminars have been organised by members of this department. Very recently, the project QSL has been extended into another regional project called SSS for Sûreté et Sécurité des Systèmes and has integrated colleagues from the Automatic Control Laboratory and form the Mathematics Laboratory. Moreover, these teams are strongly related to shared common concepts, techniques and tools related to formal methods and the six teams ([Carte|http://carte.loria.fr/], [Cassis|http://cassis.loria.fr/], [Dedale|http://dedale.loria.fr/], [Pareo|http://pareo.loria.fr/], [Types|http://types.loria.fr/], [Veridis/Mosel|http://veridis.loria.fr/]) of the department 2 called Formal Methods work in the following themes:
Version Date de modification Taille Auteur Modifications... Modifier la note
12 17-oct.-2013 21:41 1,989 ko cortier au précédent
11 23-mai-2012 10:18 1,782 ko cortier au précédent | au suivant
10 05-oct.-2011 14:07 1,791 ko mery au précédent | au suivant
9 05-oct.-2011 14:06 1,792 ko mery au précédent | au suivant
8 05-oct.-2011 14:05 1,792 ko mery au précédent | au suivant
7 05-oct.-2011 13:49 1,792 ko mery au précédent | au suivant
6 20-juil.-2011 09:28 0,101 ko cortier au précédent | au suivant
5 19-juil.-2011 13:06 0,135 ko cortier au précédent | au suivant
4 19-juil.-2011 13:05 0,14 ko cortier au précédent | au suivant Departement ==> Formal Methods Department
3 11-juil.-2011 19:49 0,14 ko cortier au précédent | au suivant
2 08-juil.-2011 16:26 0,128 ko Administrator au précédent | au suivant Cassis ==> Departement
1 08-juil.-2011 15:59 0,128 ko (auteur inconnu) au suivant
« Cette page (révision-12) a été modifiée pour la dernière fois le 17-oct.-2013 21:41 par cortier