Loading...
Derniers dépôts
-
Martin Heusse. SFIxM : plus de flexibilité avec la modulation LoRa en rassemblant des CHIRPS. CoRes 2024: 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'Expérimentation des Réseaux de Communication, May 2024, Saint-Briac-sur-Mer, France. ⟨hal-04567000⟩
-
Irman Faqrizal, Quentin Nivon, Gwen Salaün. Automated Repair of Violated Eventually Properties in Concurrent Programs. 12th IEEE/ACM International Conference on Formal Methods in Software Engineering, FormaliSE 2024, Lisbon, Portugal, April 14-15, 2024, Apr 2024, Lisbon (Portugal), Portugal. ⟨10.1145/3644033.3644383⟩. ⟨hal-04566873⟩