Conférence de M. BENSALEM S., UJF, Grenoble, France part1

Publié, le: 29 septembre 2014

Nombre de vue: 4371 Vues
Conférence de M. BENSALEM Saddek, UJF-Grenoble, CNRS VERIMAG, France part1 Titre: Compositional invariant generation for timed systems Unité de recherche LAMOS 8th International Workshop, VECOS 2014 Faculté des sciences exactes, département recherche opérationnelle Université Abderrahmane MIRA, Date : 29 septembre 2014