Proving physical proximity using symbolic models - SYSTÈMES LARGE ÉCHELLE Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2018

Dates et versions

hal-01708336 , version 1 (15-02-2018)

Identifiants

  • HAL Id : hal-01708336 , version 1

Citer

Alexandre Debant, Stéphanie Delaune, Cyrille Wiedling. Proving physical proximity using symbolic models. [Research Report] Univ Rennes, CNRS, IRISA, France. 2018. ⟨hal-01708336⟩
303 Consultations
181 Téléchargements

Partager

Gmail Facebook X LinkedIn More