Modeling and Verification of Distributed Algorithms and Systems

VERIDIS · Unité propre · Villers lès Nancy · Grand Est

Tutelles : Centre national de la recherche scientifique, Institut national de la recherche en informatique et automatique, Université de Lorraine

Disciplines : informatique, ingenierie

Site du laboratoire →

📚 576 publications sur HAL open science →

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