BHDL: circuit design in B

Type de document :
Direction scientifique d'une publication (ouvrage, numéro spécial de revue, proceedings): Proceedings
DOI :
10.1109/CSD.2003.1207723
Titre :
BHDL: circuit design in B
Auteur(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]
Titre de la manifestation scientifique :
International Conference on Application of Concurrency to System Design (ACSD'2003)
Éditeur :
IEEE Comput. Soc
Date de publication :
2003-06
ISBN :
0-7695-1887-7
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Audience :
Internationale
Collections :
Source :
Harvested from HAL