Navigation de collection par Sujet Event-B, BIP, Génération de code, NoC, Raffinement, Opérateurs, Théories, RODIN.
Montrant les résultats 1 à 1 de 1
Date de publication | Titre | Auteur(s) |
---|---|---|
2019 | Approche à base d’opérateurs pour la validation formelle de systèmes micro-électroniques orientés NoC | Abdelhamid HARICHE |