Ensuring the functional correctness of IoT through formal modeling and verification

S Ouchani - Model and Data Engineering: 8th International …, 2018 - Springer
Recent research initiatives dedicated to formal modeling, functional correctness and security
analysis of IoT systems, are generally limited to, model abstract behavioral patterns and look …
被引用次数：38 相关文章
[PDF] hal.science

[PDF][PDF] Ensuring the Functional Correctness of IoT through Formal Modeling and Verification

S Ouchani - Model and Data Engineering-8th International …, 2018 - hal.science
Recent research initiatives dedicated to formal modeling, functional correctness and security
analysis of IoT systems, are generally limited to, model abstract behavioral patterns and look …

[引用][C] Ensuring the Functional Correctness of IoT through Formal Modeling and Verification

S Ouchani - Model and Data Engineering-8th International …, 2018 - hesam.hal.science
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 …
[PDF] researchgate.net

[PDF][PDF] Ensuring the Functional Correctness of IoT through Formal Modeling & Verification

S Ouchani - researchgate.net
Recent research initiatives dedicated to formal modeling, functional correctness and security
analysis of IoT systems, are generally limited to, model abstract behavioral patterns and look …
[PDF] hal.science

[PDF][PDF] Ensuring the Functional Correctness of IoT through Formal Modeling and Verification

S Ouchani - hal.science
Recent research initiatives dedicated to formal modeling, functional correctness and security
analysis of IoT systems, are generally limited to, model abstract behavioral patterns and look …