HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

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 metadata
https://hal-imt.archives-ouvertes.fr/hal-01666413
Contributor : Admin Télécom Paristech Connect in order to contact the contributor
Submitted on : Monday, December 18, 2017 - 12:45:47 PM
Last modification on : Wednesday, November 3, 2021 - 8:19:57 AM

Identifiers

  • HAL Id : hal-01666413, version 1

Collections

INSTITUT-TELECOM | PARISTECH | LTCI | 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 Datacite

Share

Metrics

Record views

77