Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Type de document :
Communication dans un congrès
International conference on Embedded & Distributed Systems (EDiS 2017), Dec 2017, Oran, Algeria. International conference on Embedded & Distributed Systems (EDiS 2017), 2017
Liste complète des métadonnées

https://hal-imt.archives-ouvertes.fr/hal-01666413
Contributeur : Admin Télécom Paristech <>
Soumis le : lundi 18 décembre 2017 - 12:45:47
Dernière modification le : mercredi 20 décembre 2017 - 01:17:21

Identifiants

  • HAL Id : hal-01666413, version 1

Citation

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. International conference on Embedded & Distributed Systems (EDiS 2017), 2017. 〈hal-01666413〉

Partager

Métriques

Consultations de la notice

96