Developing B method Hardware Description ...

Document type :
Compte-rendu et recension critique d'ouvrage
Title :
Developing B method Hardware Description Language (BHDL) towards EVENT-B
Author(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]
Journal title :
Research Journal of Aleppo University For Engineering
Publication date :
2013
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Popular science :
Non
Collections :
Source :
Harvested from HAL