B/hdl, an experiment to formalizing hardware by software formals specifications - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2002
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⟩
1 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More