Formal Modeling and Validation of Micro Smart Grids Based on ReDy Architecture.

Kaoutar Hafdi Abderahman Kriouile

Published in: Cloudtech (2020)

Keyphrases

decision trees
management system
formal model
network architecture
architectural design
formal models
real time
multiscale
learning environment
video sequences
multi agent systems
knowledge management
modeling language
formal specification
modeling framework
hardware architecture