BHDL: circuit design in B

A. Aljer; P. Devienne; S. Tison; J.-L. Boulanger; G. Mariano

doi:10.1109/csd.2003.1207723

Conference Papers Year :

BHDL: circuit design in B

(1) , , , ,

1

A. Aljer

Function : Author
PersonId : 751862
IdHAL : ammar-aljer
ORCID : 0000-0002-1903-9824

University of Lille

P. Devienne

Function : Author

S. Tison

Function : Author

J.-L. Boulanger

Function : Author

G. Mariano

Function : Author

Domains

Computer Science [cs]

ammar Aljer : Connect in order to contact the contributor

https://hal-univ-artois.archives-ouvertes.fr/hal-03526474

Submitted on : Friday, January 14, 2022-2:57:08 PM

Last modification on : Tuesday, January 18, 2022-5:50:03 PM

Dates and versions

hal-03526474 , version 1 (14-01-2022)

Identifiers

HAL Id : hal-03526474 , version 1
DOI : 10.1109/csd.2003.1207723

Cite

A. Aljer, P. Devienne, S. Tison, J.-L. Boulanger, G. Mariano. BHDL: circuit design in B. International Conference on Application of Concurrency to System Design (ACSD'2003), 2003, Guimaraes, France. pp.241-242, ⟨10.1109/csd.2003.1207723⟩. ⟨hal-03526474⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-ARTOIS UNIV-LILLE

9 View

0 Download

BHDL: circuit design in B

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share