Ensuring the Functional Correctness of IoT through Formal Modeling and Verification - HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université 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⟩
13 Consultations
18 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More