Search Result

Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications

Kaoutar Hafdi, Abdelaziz Kriouile, Abderahman Kriouile

Vol-5  Issue-4  July  2017

Download PDF View Abstract Google Crossref

No. of Downloads: 6 | No. of Views: 430

Formal Modeling and Validation of ReDy Architecture Intended for IoT Applications

Kaoutar Hafdi, Abdelaziz Kriouile, Abderahman Kriouile

Vol-5  Issue-4  July  2017

Download PDF View Abstract Google Crossref

No. of Downloads: 6 | No. of Views: 430

Indexed by