The proposition of an approach based on MDA and which offers correct solutions by construction to model IoT architectures by composition of patterns

La preuve automatique de l’approche proposée à travers le langage formel Event-B

More Abdessamad Saidi's questions See All
Similar questions and discussions