B/hdl, an experiment to formalizing hardware by software formals specifications - Archive ouverte HAL
Proceedings/Recueil Des Communications Année : 2002

B/hdl, an experiment to formalizing hardware by software formals specifications

Domaines

Informatique [cs]

ammar Aljer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04490777

Soumis le : mardi 5 mars 2024-16:23:57

Dernière modification le : mardi 17 septembre 2024-16:01:46

Fichier non déposé

Dates et versions

hal-04490777 , version 1 (05-03-2024)

Identifiants

  • HAL Id : hal-04490777 , version 1

Citer

Jean--Louis Boulanger, Ammar Aljer, Georges Mariano. B/hdl, an experiment to formalizing hardware by software formals specifications. EDCC4, Fourth European Dependable Computing Conference, 2002. ⟨hal-04490777⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS IFSTTAR UNIV-LILLE LGCGE IMT-NORD-EUROPE UNIV-EIFFEL INSTITUT-MINES-TELECOM
5 Consultations
0 Téléchargements

Partager

More