Practical model checking of a home area network system: Case study
S Zahid, A En-Nouaary, S Bah - Journal of computing and information …, 2019 - hrcak.srce.hr
Sažetak The integrated communication infrastructure is the core of the Smart Grid
architecture. Its two-way communication and information flow provides this network with all …
architecture. Its two-way communication and information flow provides this network with all …
Développement formel de systèmes temps réel à l'aide de SDL et IF (Compilation pour système temps réel)
AB Alkhodre - 2004 - theses.fr
Un système temps réel est un système qui interagit avec un environnement physique en
remplissant souvent des missions critiques (une faute du système peut avoir des …
remplissant souvent des missions critiques (une faute du système peut avoir des …
Transforming architectural descriptions for formal analysis
N Ibrahim, M Mohammad… - 2013 5th International …, 2013 - ieeexplore.ieee.org
Model transformation is the process of automatically generating a target model from a
source model according to a set of transformation rules. Automatic model transformation has …
source model according to a set of transformation rules. Automatic model transformation has …