Ensuring the Functional Correctness of IoT through Formal Modeling and Verification
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Samir Ouchani : Connectez-vous pour contacter le contributeur
https://hal.science/hal-04094004
Soumis le : mercredi 24 janvier 2024-20:46:35
Dernière modification le : vendredi 26 janvier 2024-10:47:53