Developing B method Hardware Description ...

Type de document :
Compte-rendu et recension critique d'ouvrage
Titre :
Developing B method Hardware Description Language (BHDL) towards EVENT-B
Auteur(s) :
Aljer, Ammar [Auteur] refId
Université de Lille
Laboratoire de Génie Civil et Géo-Environnement (LGCgE) - ULR 4515 [LGCgE]
Yaseen, Rauf [Auteur]
Alaly, Walid [Auteur]
Titre de la revue :
Research Journal of Aleppo University For Engineering
Date de publication :
2013
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Vulgarisation :
Non
Collections :
Source :
Harvested from HAL