On the Monitoring of Decentralized Specifications: Semantics, Properties, Analysis, and Simulation
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
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