Modélisation et analyse formelles des systèmes distribués et matériels

ARMADHA · Unité propre · Saint Ismier · Auvergne-Rhône-Alpes

Tutelles : Institut national de la recherche en informatique et automatique, Université Grenoble Alpes

Disciplines : informatique, ingenierie

Site du laboratoire →

📚 3 publications sur HAL open science →

Source : MESRI ScanR / HAL (Etalab 2.0) · Données HAL (CC0)