BHDL: circuit design in B

Document type :
Direction scientifique d'une publication (ouvrage, numéro spécial de revue, proceedings): Proceedings
DOI :
10.1109/CSD.2003.1207723
Title :
BHDL: circuit design in B
Author(s) :
Aljer, Ammar [Auteur] refId
Laboratoire de Génie Civil et Géo-Environnement (LGCgE) - ULR 4515 [LGCgE]
Université de Lille
Devienne, Philippe [Auteur] refId
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Tison, S. [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Boulanger, J.-L. [Auteur]
Heuristique et Diagnostic des Systèmes Complexes [Compiègne] [Heudiasyc]
Mariano, G. [Auteur]
Hôpital Louis Mourier - AP-HP [Colombes]
Conference title :
International Conference on Application of Concurrency to System Design (ACSD'2003)
Publisher :
IEEE Comput. Soc
Publication date :
2003-06
ISBN :
0-7695-1887-7
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Audience :
Internationale
Collections :
Source :
Harvested from HAL