Formal Framework for Automated Analysis and Verification of Distributed Reactive Applications

Sarah Chabane Rabéa Ameur-Boulifa 1, 2 Mohamed Mezghiche
1 LabSoC - System on Chip
LTCI - Laboratoire Traitement et Communication de l'Information
2 COMELEC - Département Communications & Electronique
Document type :
Conference papers
Complete list of metadatas
https://hal-imt.archives-ouvertes.fr/hal-01666413
Contributor : Admin Télécom Paristech <>
Submitted on : Monday, December 18, 2017 - 12:45:47 PM
Last modification on : Friday, December 20, 2019 - 2:42:02 PM

Identifiers

  • HAL Id : hal-01666413, version 1

Collections

INSTITUT-TELECOM | PARISTECH | LTCI | UNIV-PARIS-SACLAY | COMELEC | LABSOC

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. ⟨hal-01666413⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

137

Contact

Informations

CCSD