[Ouc18]
Samir Ouchani.
Ensuring the Functional Correctness of IoT through Formal Modeling and Verification.
In Proc. International Conference on Model and Data Engineering (MEDI'18), pages 401-417.
2018.
[Verifies the functionality and security of IoT systems using PRISM.]
|
