Invisible Formal Methods for Safety Assurance of Aerospace Applications
10.10.07 - 07:04
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













Fil baladodiffusion
Fil articles

