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

No. of Downloads: 12 | No. of Views: 1183

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

No. of Downloads: 12 | No. of Views: 1183

Indexed by

Crossref logo