An SDL to Discrete-Time PROMELA Transformation of Home Area Network model.

Soufiane Zahid Abdeslam En-Nouaary Slimane Bah

Published in: SITA (2018)

Keyphrases

network model
gene regulatory networks
immune algorithm
markov chain
neural network
linear transformation
data analysis
artificial neural networks
high dimensional data
activity recognition
smart home
markov processes