Correct-by-Construction Approach for Formal Verification of IoT Architecture.

Zinah Hussein Toman, Lazhar Hamel, Sarah Hussein Toman, Mohamed Graiet

Browse the full KES paper archive.