Rechercher

Votre requête : Conception et vérification de systèmes et logiciels
8 résultats trouvés

Cyber

Le laboratoire développe une très forte expertise en cybersécurité. Il possède un large spectre de compétences en lien avec les enjeux de cybersécurité dans les domaines des architectures logicielles et matérielles, des communications et des réseaux,…

ROUVRAIS Siegfried

Les domaines de recherche et développement de Siegfried Rouvrais se situent autour de la modélisation, les processus et l'analyse: pour les grands systèmeslogiciels et pour les systèmes d'enseignement supérieur. Il est constamment impliqué en tant q…

MALLET Julien

BACH Jean-Christophe

DAGNAT Fabien

Fabien Dagnat est maître de conférences au sein du département informatique de l’IMT Atlantique site de Brest depuis 2002. Docteur depuis 2001 et habilité à diriger des recherches depuis janvier 2016, il est responsable de l’équipe P4S du Lab-STICC. …

LALLALI Mounir

SHAKER

FIXME

SHARP

Il y a encore quelques années, les systèmes embarqués étaient souvent isolés de leur environnement. En raison des nouvelles applications comme de l’IoT, des systèmes autonomes ou plus généralement des applications qui requièrent des moyens de calcu…