Débat sur la Conférence de Mr. BENSALEM Saddek UJF-Grenoble, CNRS VERIMAG, France « WebTV – Université de Bejaia

Description

Débat sur la Conférence de Mr. BENSALEM Saddek UJF-Grenoble, CNRS VERIMAG, France

Publié, le: lundi 29 septembre 2014

Nombre de vue: 4032 Vues

THEME

Faculté des sciences exactes.

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 Bejaia, Date : 29 septembre 2014

Les commentaires sont fermés.

Débat sur la Conférence de Mr. BENSALEM Saddek UJF-Grenoble, CNRS VERIMAG, France

Tags: , ,