Invisible Formal Methods for Safety Assurance of Aerospace Applications

10.10.07 - 07:04

[ Cette balado sur votre site ] 

French-Algerian Cycle of Seminars

Following an initiative of Marc Daumas (LIRMM & ELIAUS) and Professeur Mohamed Mezghiche, we had in the summer of 2007 a cycle of seminars between the University of Perpignan Via Domitia and the University M’hamed Bougara of Boumerdès in Algeria. The first two seminars were broadcasted live and the last two ones were recorded.

Speaker: César Muñoz

(Lire la suite…)

[ Catégorie: Univ. Perpignan Via Domitia ] [ Mots clés: aérospace, formal methods, seminars ] [ Cliquez ici pour commenter ]

[ Discipline: Aucune / Non Applicable ]