Integrated Model-checking for the Design of Safe and Efficient Distributed Software Commissioning
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Hélène Coullon : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02323641
Soumis le : lundi 21 octobre 2019-17:36:09
Dernière modification le : vendredi 24 mars 2023-14:53:13
Archivage à long terme le : mercredi 22 janvier 2020-20:41:10