Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Sarah Chabane Rabéa Ameur-Boulifa 1 Mohamed Mezghiche
1 LTCI - Laboratoire Traitement et Communication de l'Information
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

Collections

TELECOM-PARISTECH | UNIV-PARIS-SACLAY | PARISTECH

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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

53

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD