Conférence donnée par Mr. BENSALEM Saddek UJF-Grenoble, CNRS VERIMAG, France Part2
Publié, le: 29 septembre 2014
Nombre de vue: 4105 Vues
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