Communication Dans Un Congrès
Année : 2017
Admin Télécom Paristech : Connectez-vous pour contacter le contributeur
https://imt.hal.science/hal-01666413
Soumis le : lundi 18 décembre 2017-12:45:47
Dernière modification le : lundi 9 octobre 2023-12:49:43
Dates et versions
Identifiants
- HAL Id : hal-01666413 , version 1
Citer
Sarah Chabane, Rabéa Ameur-Boulifa, Mohamed Mezghiche. Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications. International conference on Embedded & Distributed Systems (EDiS 2017), Dec 2017, Oran, Algeria. ⟨hal-01666413⟩
Collections
77
Consultations
0
Téléchargements