On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue ACM Transactions on Software Engineering and Methodology Année : 2019

On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation

Domaines

Systèmes embarqués Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
tosem-author.pdf (1.16 Mo) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Yliès Falcone  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02283429

Soumis le : mardi 10 septembre 2019-19:23:46

Dernière modification le : vendredi 24 mars 2023-14:53:12

Télécharger pour visualiser

Dates et versions

hal-02283429 , version 1 (10-09-2019)
hal-02283429 , version 2 (01-10-2019)

Identifiants

  • HAL Id : hal-02283429 , version 1

Citer

Antoine El-Hokayem, Yliès Falcone. On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation. ACM Transactions on Software Engineering and Methodology, 2019, pp.1-57. ⟨hal-02283429v1⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
161 Consultations
95 Téléchargements

Partager

Gmail Facebook X LinkedIn More