Open AccessFormal Modeling and Validation of ReDy Architecture Intended for IoT Applications
Author(s) -
Kaoutar Hafdi,
Abdelaziz Kriouile,
Abdelaziz Kriouile
Publication year - 2017
Publication title -
international journal of innovative research in computer science and technology
Language(s) - English
Resource type - Journals
ISSN - 2347-5552
DOI - 10.21276/ijircst.2017.5.4.8
Subject(s) - computer science , architecture , software engineering , systems engineering , computer architecture , engineering , geography , archaeology