THEME
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
Les commentaires sont fermés.
Tags: BENSALEM Saddek, Lamos, VECoS 2014