Ensuring the Functional Correctness of IoT through Formal Modeling and Verification - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

Ensuring the Functional Correctness of IoT through Formal Modeling and Verification

Fichier principal
Vignette du fichier
MEDI2018.pdf (423.27 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04094004 , version 1 (24-01-2024)

Identifiants

Citer

Samir Ouchani. Ensuring the Functional Correctness of IoT through Formal Modeling and Verification. Model and Data Engineering - 8th International Conference, Oct 2018, Marrakesh, Morocco. pp.401-417, ⟨10.1007/978-3-030-00856-7_27⟩. ⟨hal-04094004⟩
10 Consultations
5 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More